d18f521 | Xavier Leroy | 14 January 2012, 12:50:42 UTC | asmcomp/*/CSE.ml: adjustments in is_cheap_operation. Merge changes made on trunk. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/backend-optims@12025 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 January 2012, 12:50:42 UTC |
426971e | Xavier Leroy | 14 January 2012, 08:41:06 UTC | Revised CSE pass: distinguish initializing stores from assignment stores git-svn-id: http://caml.inria.fr/svn/ocaml/branches/backend-optims@12022 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 January 2012, 08:41:06 UTC |
52ea51d | Xavier Leroy | 08 January 2012, 13:57:31 UTC | First cut at two additional, related optimizations in the ocamlopt back-end: - common subexpression elimination - dead code elimination (removing pure ops whose result is not used). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/backend-optims@12003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 January 2012, 13:57:31 UTC |
879757c | Xavier Leroy | 08 January 2012, 13:35:45 UTC | Toying with more optimizations in the ocamlopt back-end. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/backend-optims@12002 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 January 2012, 13:35:45 UTC |
288ebd8 | Xavier Leroy | 08 January 2012, 08:31:47 UTC | Reverting commit 11996 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 08 January 2012, 08:31:47 UTC |
4c4a9fc | Fabrice Le Fessant | 07 January 2012, 20:55:28 UTC | Fix of #5467: no extern C in header files git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 January 2012, 20:55:28 UTC |
2c04ae5 | Damien Doligez | 06 January 2012, 14:24:58 UTC | PR#4549: make Filename.dirname/basename POSIX compliant git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 January 2012, 14:24:58 UTC |
b932aaa | Damien Doligez | 06 January 2012, 13:42:46 UTC | robustify the production of debug and PIC object files git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 January 2012, 13:42:46 UTC |
1a4f7bd | Damien Doligez | 06 January 2012, 13:42:04 UTC | doc: stats since 3.13.0; clean up whitespace git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11995 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 January 2012, 13:42:04 UTC |
11093a6 | Fabrice Le Fessant | 06 January 2012, 08:05:00 UTC | Add String.map in string.mli (partial fix of bug #3888) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11994 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 January 2012, 08:05:00 UTC |
76ff25a | Jérémie Dimino | 05 January 2012, 14:33:56 UTC | PR#5456: replace __LOCATION__ after macro expansion and add LOCATION_OF git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 January 2012, 14:33:56 UTC |
b0cf87a | Jérémie Dimino | 05 January 2012, 10:29:11 UTC | PR#5231: fix parsing of <:str_item< type t = $x$ >> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 January 2012, 10:29:11 UTC |
0c37ea4 | Jérémie Dimino | 05 January 2012, 09:43:50 UTC | PR#5387: avoid extra Ast.CrNil and Ast.CgNil git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11987 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 January 2012, 09:43:50 UTC |
01b9028 | Jérémie Dimino | 05 January 2012, 09:35:47 UTC | PR#5387: avoid extra Ast.StNil and Ast.SgNil git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11986 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 January 2012, 09:35:47 UTC |
6075cd4 | Jérémie Dimino | 30 December 2011, 20:00:14 UTC | PR#5442: use safe_string_escaped instead of String.escaped git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11984 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 December 2011, 20:00:14 UTC |
334a2fd | Damien Doligez | 30 December 2011, 16:29:14 UTC | remove useless call to Modify git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 December 2011, 16:29:14 UTC |
51ca775 | Damien Doligez | 30 December 2011, 16:28:57 UTC | typo in a comment git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 December 2011, 16:28:57 UTC |
6b4bb57 | Damien Doligez | 30 December 2011, 16:28:16 UTC | PR#352: new option to make ocaml read stdin as a script git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11980 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 December 2011, 16:28:16 UTC |
e6c0b95 | Damien Doligez | 29 December 2011, 22:10:39 UTC | PR#5455: .emacs instructions, add lines to recognize ocaml scripts git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 22:10:39 UTC |
0c7984a | Damien Doligez | 29 December 2011, 20:42:11 UTC | PR#5453: configure doesn't find X11 under Ubuntu/MultiarchSpec git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 20:42:11 UTC |
a18ae2e | Jacques Garrigue | 29 December 2011, 06:49:06 UTC | patch to move id creation to the C side git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 06:49:06 UTC |
b33b2cc | Wojciech Meyer | 29 December 2011, 03:13:41 UTC | Fix PR#5454: Update docs git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11973 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 03:13:41 UTC |
3542301 | Wojciech Meyer | 29 December 2011, 03:13:40 UTC | PR#5454: Update Change log. Correct order of one of the bug fixes git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 03:13:40 UTC |
c1eebee | Wojciech Meyer | 29 December 2011, 03:10:49 UTC | Fix PR#5454: Add compare to Digest and allow to pass directly Digest to Set.Make and Map.Make git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11971 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 December 2011, 03:10:49 UTC |
33eefe4 | Alain Frisch | 28 December 2011, 13:27:07 UTC | Remove unused constructors in the AST: Cf_let, Pcf_let. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11968 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 13:27:07 UTC |
6e7e555 | Damien Doligez | 28 December 2011, 13:24:26 UTC | formatting and annotation of incompatible changes git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11967 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 13:24:26 UTC |
c3ead2a | Xavier Leroy | 28 December 2011, 10:38:55 UTC | PR#5325 ("remove" solution). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11966 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 10:38:55 UTC |
c98f6f3 | Xavier Leroy | 28 December 2011, 08:47:03 UTC | Somewhat related to PR#5179: replace "diff -q" with "$(DIFF)" so that under Windows DIFF can be overriden by something that ignores CRLF/LF differences. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11965 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 08:47:03 UTC |
3a5aff7 | Jacques Garrigue | 28 December 2011, 02:22:38 UTC | fix PR#5449 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 December 2011, 02:22:38 UTC |
7f7dc41 | Alain Frisch | 27 December 2011, 09:08:34 UTC | Reverting the let.expr syntax (no consensus on the proposal). Sorry for the noise. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11960 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 09:08:34 UTC |
dd29cb7 | Jacques Garrigue | 27 December 2011, 08:54:18 UTC | A small patch to call 'bind' for syntax 'let x <- expr in cont' git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 08:54:18 UTC |
76ac0c7 | Jacques Garrigue | 27 December 2011, 08:52:45 UTC | fix PR#5450 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 08:52:45 UTC |
efc180b | Jacques Garrigue | 27 December 2011, 07:12:06 UTC | simplify fix of PR#5445 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11957 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 07:12:06 UTC |
c663cf6 | Jacques Garrigue | 27 December 2011, 07:02:11 UTC | fix PR#5445 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11956 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 December 2011, 07:02:11 UTC |
bc8d8e9 | Jonathan Protzenko | 23 December 2011, 20:54:57 UTC | Fix #5171: Map: avoid unnecessary uses of the user-provided comparison function in [join]. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11955 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 December 2011, 20:54:57 UTC |
3bea22b | Jérémie Dimino | 23 December 2011, 16:30:23 UTC | PR#5442: strings must be escaped when the ast meta-expansed by Camlp4 Because strings in the Camlp4 Ast are escaped. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 December 2011, 16:30:23 UTC |
632cea7 | Jonathan Protzenko | 23 December 2011, 13:34:13 UTC | Followup fix to #5437: make sure [align] doesn't add padding to undocumented options, so that these don't show up when passed to [parse] or [usage]. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11946 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 December 2011, 13:34:13 UTC |
7396974 | Jérémie Dimino | 22 December 2011, 21:11:29 UTC | PR#5120: fix the output function of Camlp4.Debug.formatter git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11945 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 December 2011, 21:11:29 UTC |
ddc6629 | Wojciech Meyer | 22 December 2011, 19:11:30 UTC | PR#5313: Add Change log entry git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 December 2011, 19:11:30 UTC |
4f0bc44 | Wojciech Meyer | 22 December 2011, 19:11:29 UTC | Fix PR#5313: Run the rest of the ocamlopt optimisations even when -g flag is specifed git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11942 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 December 2011, 19:11:29 UTC |
b47d5b2 | Jonathan Protzenko | 22 December 2011, 14:04:18 UTC | Fix #5437: when registering an option with Arg, if the option has an empty doc string, do not include it when printing the usage. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 December 2011, 14:04:18 UTC |
bc02593 | Xavier Leroy | 22 December 2011, 09:36:45 UTC | PR#5345: optimize checkbound for constant indices. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 December 2011, 09:36:45 UTC |
ec02bc1 | Alain Frisch | 22 December 2011, 09:30:51 UTC | Clarify doc about Oo.id (#5436). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11933 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 December 2011, 09:30:51 UTC |
5c0f191 | Xavier Leroy | 22 December 2011, 09:14:22 UTC | PR#5360: on 64-bit platforms, generate more compact code for Parrayrefs and Parraysets. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11932 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 December 2011, 09:14:22 UTC |
38e4e84 | Xavier Leroy | 22 December 2011, 08:51:57 UTC | PR#5179 continued: no extra stack adjustment in caml_c_call git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 December 2011, 08:51:57 UTC |
16d937a | Jacques Garrigue | 22 December 2011, 07:30:18 UTC | fix PR#5436 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 December 2011, 07:30:18 UTC |
ac0aa07 | Xavier Leroy | 21 December 2011, 16:31:01 UTC | PR#5179: giant steps towards a Mingw64 port. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11927 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 16:31:01 UTC |
253e88b | Jonathan Protzenko | 21 December 2011, 15:56:10 UTC | Fix #5393: make sure -R is only passed to the linker with a BSD that has a BSD userland Patch by: Stéphane Glondu <stephane@glondu.net> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 15:56:10 UTC |
19e2bca | Damien Doligez | 21 December 2011, 15:39:12 UTC | correct syntax highlighting in emacs (continued) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 15:39:12 UTC |
cca0035 | Damien Doligez | 21 December 2011, 15:37:54 UTC | continuing to change the name to OCaml git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11922 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 15:37:54 UTC |
a85549c | Damien Doligez | 21 December 2011, 15:30:54 UTC | cygwin is changing from Windows-based to X-based tcl/tk git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11921 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 15:30:54 UTC |
72865b7 | Jérémie Dimino | 21 December 2011, 13:15:57 UTC | PR#5410: fix printing of class application with Camlp4 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 13:15:57 UTC |
35e8dcc | Jonathan Protzenko | 21 December 2011, 13:08:48 UTC | Fix #5382: EOPNOTSUPP and ENOTSUPP different on exotic platforms (Solaris, GNU/Hurd). Patch by Samuel Thibault <sthibault@debian.org> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11915 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 13:08:48 UTC |
e43dd3a | Xavier Leroy | 21 December 2011, 10:41:59 UTC | OCaml, not Objective Caml, I get it. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11914 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 10:41:59 UTC |
c8f32a4 | Xavier Leroy | 21 December 2011, 10:36:35 UTC | Module Array: faster implementations of "blit", "copy", "sub", "append" and "concat" (PR#2395, PR#2787, PR#4591) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11913 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 10:36:35 UTC |
93d66f9 | Jonathan Protzenko | 21 December 2011, 09:43:13 UTC | Fix #5434: implement times in win32unix (partially). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 09:43:13 UTC |
d79455b | Alain Frisch | 21 December 2011, 08:58:56 UTC | New syntax for 'custom let bindings': let.simple_expr pat = expr in expr git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11906 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 December 2011, 08:58:56 UTC |
8c16e88 | Jérémie Dimino | 20 December 2011, 17:40:23 UTC | PR#5374: be consistent for locations of type declarations between Camlp4 and the OCaml parser Camlp4 used only the location of the rhs of type declarations, while OCaml used the location of the whole type declaration. The location of abstract types was then wrong when using Camlp4. Thanks to furuse for his contribution. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11903 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 December 2011, 17:40:23 UTC |
dfcbd7f | Jérémie Dimino | 20 December 2011, 17:40:18 UTC | Avoid creating malformed location in Camlp4 when no token is consumed When no token was consumed, Camlp4 created a location with start-pos > stop-pos. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11902 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 December 2011, 17:40:18 UTC |
a69f9be | Xavier Leroy | 20 December 2011, 14:38:53 UTC | PR#4746: wrong detection of stack overflows in native code under Linux (quick fix, will have to find something better) testsuite/tests/runtime-errors: make the test output independent of the stack size; add a "ulimit -s" just to make sure stack is limited. testsuite/tests/asmcomp: updated to compile again. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11898 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 December 2011, 14:38:53 UTC |
d0667f4 | Xavier Leroy | 20 December 2011, 12:37:52 UTC | Cosmetic: old-style K&R function -> new style prototyped function git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 December 2011, 12:37:52 UTC |
cf9c1a6 | Alain Frisch | 20 December 2011, 11:27:06 UTC | Fix pretty-printing of let-like operators. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11895 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 December 2011, 11:27:06 UTC |
16c26c6 | Alain Frisch | 20 December 2011, 11:22:32 UTC | let-like operators. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11894 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 December 2011, 11:22:32 UTC |
a40d043 | Xavier Leroy | 20 December 2011, 10:42:36 UTC | PR#4880: added appropriate event to "assert" so that it shows up properly in stack backtraces git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11891 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 December 2011, 10:42:36 UTC |
c1f154e | Alain Frisch | 20 December 2011, 10:35:43 UTC | New option to force the compilers to show absolute paths in error messages. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 December 2011, 10:35:43 UTC |
e915c39 | Alain Frisch | 20 December 2011, 10:35:11 UTC | Fix ocamlnet. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 December 2011, 10:35:11 UTC |
b51df17 | Xavier Leroy | 20 December 2011, 08:59:09 UTC | PR#5416: better implementation of set/clear_close_on_exec git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11888 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 December 2011, 08:59:09 UTC |
ca0c236 | Xavier Leroy | 18 December 2011, 10:00:56 UTC | PR#4869: rare collisions between assembly labels for code and data git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 December 2011, 10:00:56 UTC |
4af724c | Xavier Leroy | 18 December 2011, 09:52:52 UTC | Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS. Part 4: cleaning up some more references & specific code for these archs. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11886 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 December 2011, 09:52:52 UTC |
5c432bf | Xavier Leroy | 17 December 2011, 12:44:23 UTC | Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS, part 3: config/Makefile-templ (for reference, because this file is unused) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 December 2011, 12:44:23 UTC |
366da2c | Xavier Leroy | 17 December 2011, 11:21:24 UTC | Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS, part 2: configure. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 December 2011, 11:21:24 UTC |
3e42214 | Xavier Leroy | 17 December 2011, 11:12:50 UTC | Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS. So long and thanks for all the fish. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11882 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 December 2011, 11:12:50 UTC |
9178181 | Xavier Leroy | 17 December 2011, 10:45:23 UTC | The "DBM" library (interface with Unix DBM key-value stores) is no longer part of this distribution. It now lives its own life at https://forge.ocamlcore.org/projects/camldbm/. Bye bye, DBM. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11881 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 December 2011, 10:45:23 UTC |
4db01f0 | Jérémie Dimino | 16 December 2011, 21:33:15 UTC | #5358: update the Camlp4 ast translator to support constraints on types in sub-modules in package types. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 December 2011, 21:33:15 UTC |
ac3d343 | Jérémie Dimino | 16 December 2011, 20:33:18 UTC | Fix printing of GADTs by Camlp4 with original syntax git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 December 2011, 20:33:18 UTC |
b50f1df | Jérémie Dimino | 16 December 2011, 18:00:40 UTC | #5358: update Camlp4 to support constraints on types in sub-modules in package types. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 December 2011, 18:00:40 UTC |
e10723e | Xavier Leroy | 16 December 2011, 17:02:48 UTC | Merged proc_nt.ml into proc.ml in directories asmcomp/i386 and asmcomp/amd64. This avoids much code duplication and is a baby step towards Mingw-64 bits support (PR#5179). (There will be no need to create a third proc_xxx.ml file for this configuration.) Also, in amd64/emit_nt.mlp, the ml64 assembler didn't like my label subtractions, so I put the jumptable in code area instead of in data area. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 December 2011, 17:02:48 UTC |
7ff9d50 | Jacques Garrigue | 15 December 2011, 10:20:50 UTC | trim module signatures git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 15 December 2011, 10:20:50 UTC |
6cc516a | Jacques Garrigue | 15 December 2011, 07:58:02 UTC | A patch adding primitives to browse types in the toplevel git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 15 December 2011, 07:58:02 UTC |
5b08f5b | Jacques Garrigue | 15 December 2011, 02:25:01 UTC | Fix PR#5425 and PR#5427 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 15 December 2011, 02:25:01 UTC |
032648c | Alain Frisch | 14 December 2011, 11:04:06 UTC | #5411: close input channel when loading a .cmo file fails in the toplevel. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 December 2011, 11:04:06 UTC |
0b002c2 | Alain Frisch | 14 December 2011, 10:40:58 UTC | Update Changes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 December 2011, 10:40:58 UTC |
ece3353 | Alain Frisch | 14 December 2011, 10:26:15 UTC | #5358: package types allow constraints on typed in sub-modules. Camlp4 compiles but does not support this new feature yet. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 December 2011, 10:26:15 UTC |
01dceea | Jacques Garrigue | 14 December 2011, 08:59:07 UTC | remove conflict git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 December 2011, 08:59:07 UTC |
e461027 | Alain Frisch | 14 December 2011, 08:24:03 UTC | Boostrap ocamlbuild (#5338). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 14 December 2011, 08:24:03 UTC |
fcf6dcf | Alain Frisch | 13 December 2011, 17:59:10 UTC | Doc. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 December 2011, 17:59:10 UTC |
3f23ef4 | Alain Frisch | 13 December 2011, 17:50:08 UTC | #5411: New #load_rec primitive for the toplevel (finds and loads .cmo files recursively). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 December 2011, 17:50:08 UTC |
14b778d | Alain Frisch | 13 December 2011, 16:21:10 UTC | #5420: fix. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 December 2011, 16:21:10 UTC |
84dd860 | Alain Frisch | 13 December 2011, 16:18:13 UTC | #5420: adding a O_SHARE_DELETE flag to Unix.openfile, for enabling FILE_SHARE_DELETE mode under Windows (ignored under Unix). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 December 2011, 16:18:13 UTC |
d187828 | Xavier Leroy | 13 December 2011, 15:21:14 UTC | PR#5306: comparing values of type Thread.t git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 December 2011, 15:21:14 UTC |
ee31501 | Alain Frisch | 13 December 2011, 11:19:35 UTC | #5338: sanitize.sh has windows style end-of-lines (mingw). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 December 2011, 11:19:35 UTC |
5f8ff42 | Alain Frisch | 12 December 2011, 11:38:06 UTC | #5179: the 'official' 32-bit mingw compiler is now the one from the mingw-w64 project, packaged in Cygwin (as supported by flexdll 0.27). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 December 2011, 11:38:06 UTC |
e707c41 | Alain Frisch | 12 December 2011, 09:48:22 UTC | Fix for Windows. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 December 2011, 09:48:22 UTC |
8427522 | Jacques Garrigue | 12 December 2011, 05:49:13 UTC | Add counter-example for PR#5343 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 December 2011, 05:49:13 UTC |
6306860 | Jacques Garrigue | 10 December 2011, 02:51:09 UTC | fix PR#5343 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 December 2011, 02:51:09 UTC |
8074552 | Jacques Garrigue | 10 December 2011, 02:47:40 UTC | add test for polymorphic variants git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 December 2011, 02:47:40 UTC |
5b0de6f | Damien Doligez | 29 November 2011, 15:56:03 UTC | set ignore git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 November 2011, 15:56:03 UTC |
8b700ea | Damien Doligez | 29 November 2011, 15:55:49 UTC | better reporting of wrong version for .cmi files git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 November 2011, 15:55:49 UTC |
456473d | Damien Doligez | 29 November 2011, 15:54:41 UTC | better reporting of wrong version for .cmi files git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 November 2011, 15:54:41 UTC |
893a3be | Damien Doligez | 29 November 2011, 15:49:25 UTC | cleanup white space and robustify mkuminus git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 29 November 2011, 15:49:25 UTC |