Skip to main content

Browse the archive

https://github.com/charguer/ocaml
28 December 2020, 04:32:43 UTC
sort by:
Revision Author Date Message Commit Date
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
back to top