Commit Graph

7462 Commits (05ce8f5414a4971ab73f68f6e4e0ac4323b9ca84)

Author SHA1 Message Date
Jacques Garrigue 05ce8f5414 improve error messages for type declaration mismatch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10455 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21 15:13:47 +00:00
Alain Frisch 9cc00da0d0 Need to check record representation as well.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10452 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21 12:42:34 +00:00
Damien Doligez 5e67123bf6 PR#4975: spelling mistakes "overriden" and "informations"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21 12:00:49 +00:00
Damien Doligez d9d8ff4749 PR#5041: ocamlbuild needs gnu make
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10449 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21 11:48:35 +00:00
Damien Doligez b29bc9fd2b PR#5055: head -1 doesn't work
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10448 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21 11:28:21 +00:00
Jacques Garrigue 1772822057 PR#4478: better error messages for type definition mismatches
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10447 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21 03:36:52 +00:00
Jacques Garrigue 9c79ec9120 fix PR#5057, must adjust levels in row fields
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21 01:26:16 +00:00
Damien Doligez 418b6ed18f PR#5054: simple recursive value with array not accepted
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10445 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-20 14:57:42 +00:00
Damien Doligez 3bba52b91c PR#4857: add -vnum option to all executables
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-20 14:06:29 +00:00
Damien Doligez 9ee820de2c PR#5053: change svn:eol-style for shell scripts
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10443 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-20 09:44:25 +00:00
Xavier Leroy 6c55d7fea2 PR#4632: install socketaddr.h header in lib/caml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-20 09:40:41 +00:00
Damien Doligez b04f63e629 PR#5050 change end-of-line style to LF
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10441 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 15:02:11 +00:00
Damien Doligez dc7affa4b7 fix Windows MSVC build + ignores
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 14:52:34 +00:00
Nicolas Pouillard bac01e4446 camlp4: bootstrap
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 14:49:22 +00:00
Nicolas Pouillard d20d7acfc3 camlp4: add support for fun (type t) ...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 14:45:14 +00:00
Damien Doligez 44114eda67 ignore windows-specific generated files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10437 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 14:37:47 +00:00
Damien Doligez b9962a3e75 bootstrap ocamlbuild with OCAMLBUILD_FIND option
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10435 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 13:12:49 +00:00
Damien Doligez d06b348db0 specify path to the 'find' utility for ocamlbuildlight
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10434 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 12:53:40 +00:00
Damien Doligez ca5f1daae7 add -strict-sequence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10433 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 12:51:55 +00:00
Xavier Leroy ebdb1eba29 PR#5033, continued: forgot to add new files.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 12:39:46 +00:00
Xavier Clerc 67c598b2c5 Directory changes are now silent under GNU make, even when only one test is run.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10431 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 12:32:00 +00:00
Nicolas Pouillard f4276be20e camlp4: Add support for firstclass modules
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10430 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 12:25:27 +00:00
Xavier Leroy d4d232101d PR#4874: interpretation of \b in regexps: characters that constitute a word now include 0-9 and _
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10429 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 12:22:24 +00:00
Nicolas Pouillard e9f1c5e6dc camlp4: bootstrap first class modules
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 12:20:49 +00:00
Nicolas Pouillard 44540cfa4e camlp4: typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 12:05:50 +00:00
Damien Doligez 90d215424c removal of tkanim
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 11:37:13 +00:00
Damien Doligez 00ca063f87 missing change from last branch merge !?
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 11:33:23 +00:00
Xavier Leroy 2adec7d747 PR#5033: tools/objinfo made more general.
tools/dumpapprox removed, now subsumed by tools/objinfo.
Introduced asmcomp/cmx_format.mli and used consistently in asmcomp,
  tools/objinfo, and otherlibs/dynlink
Note: ocamlbuild -based build procedure not updated yet.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 11:29:38 +00:00
Nicolas Pouillard fc2dea6d3d Mention the recipe in build/camlp4-bootstrap.sh
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10423 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 11:23:14 +00:00
Alain Frisch f4d1cef51d Error narrowing for class type lookups.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-18 17:25:02 +00:00
Alain Frisch fb4a2f7070 Cleanup.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10421 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-18 17:21:21 +00:00
Alain Frisch 635cde5279 Error narrowing for class lookups.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10420 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-18 17:20:05 +00:00
Alain Frisch ccb1381991 Error narrowing for module type lookups.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10419 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-18 17:18:24 +00:00
Alain Frisch 5d64f0e504 Error narrowing for module lookups.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-18 17:14:31 +00:00
Alain Frisch c81ff4bb19 Improve error narrowing, and (partially) fix #5046.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-18 16:46:46 +00:00
Damien Doligez 2013072e7b ignore generated files dynlink.{ml,mli}
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-18 12:44:36 +00:00
Damien Doligez 1072c2cc6d deduplicate debugger/dynlink.{ml,mli}
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10413 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17 15:49:53 +00:00
Nicolas Pouillard 17a6330d29 camlp4: support polymorphic recursion and bootstrap
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17 13:44:14 +00:00
Nicolas Pouillard cc123f5ea7 camlp4: bootstrap
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17 11:59:12 +00:00
Nicolas Pouillard 432bb22c1a camlp4: initial support for polymorphic recursion
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10404 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17 11:59:06 +00:00
Nicolas Pouillard d1907eb4eb dist: rebuild boot/myocamlbuild.boot
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17 09:52:34 +00:00
Nicolas Pouillard ac71af0570 Add a recipe to bootstrap camlp4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10402 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17 09:52:29 +00:00
Nicolas Pouillard 964b1fa0dd camlp4: bootstrapping part of last commit
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17 09:32:52 +00:00
Nicolas Pouillard 89c1468463 camlp4: add support for "type :=" and "module :="
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17 09:32:09 +00:00
Nicolas Pouillard d162777be3 Remove an old camlp4 makefile
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17 09:30:30 +00:00
Nicolas Pouillard 22c7e5b28b build: let cold_camlp4o = "camlp4o"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-12 16:01:31 +00:00
Nicolas Pouillard f40a38533b camlp4: add support for let-open-in
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-12 16:00:06 +00:00
Damien Doligez dc94932437 PR#4721: documented the fact that Lazy.force is not thread-safe
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-12 14:56:09 +00:00
Damien Doligez 29224ccbe6 PR#4742: finalisation function raising an exception blocks other finalisations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-12 14:32:23 +00:00
Nicolas Pouillard 7c5ae7af4c camlp4: bootstrap
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11 15:19:17 +00:00