4ec85e2 | Alain Frisch | 23 January 2010, 12:42:09 UTC | Fix SVN properties. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 January 2010, 12:42:09 UTC |
c999b4e | Alain Frisch | 23 January 2010, 12:34:41 UTC | Forgot to preserve XMM registers across GC: also for Intel syntax. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9555 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 January 2010, 12:34:41 UTC |
648245f | Alain Frisch | 23 January 2010, 12:32:35 UTC | For int<->float conversions, the result must be in register. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 January 2010, 12:32:35 UTC |
4430b5f | Xavier Leroy | 25 December 2009, 17:20:47 UTC | Updated testasmcomp git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 December 2009, 17:20:47 UTC |
d35f998 | Xavier Leroy | 25 December 2009, 17:20:22 UTC | Note on how to force 32-bit compilation on MacOS 10.6 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 December 2009, 17:20:22 UTC |
6c5717f | Xavier Leroy | 25 December 2009, 17:19:52 UTC | Forgot to preserve XMM registers across GC git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 December 2009, 17:19:52 UTC |
c73eab4 | Xavier Leroy | 17 December 2009, 17:36:53 UTC | Asm glue for ia32 port git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9476 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 17 December 2009, 17:36:53 UTC |
f785e82 | Xavier Leroy | 16 December 2009, 10:01:27 UTC | Select IA32 port git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 December 2009, 10:01:27 UTC |
829162a | Xavier Leroy | 15 December 2009, 13:47:18 UTC | Bugfixing in IA32 code gen git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 15 December 2009, 13:47:18 UTC |
a21c8df | Xavier Leroy | 13 December 2009, 09:31:16 UTC | Some more IA32 code gen. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9472 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 December 2009, 09:31:16 UTC |
4f409bb | Xavier Leroy | 13 December 2009, 09:27:23 UTC | Continuing new IA32 code gen. Now with MASM syntax. Untested. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 13 December 2009, 09:27:23 UTC |
087edef | Xavier Leroy | 12 December 2009, 17:02:42 UTC | Resurrected -ffast-math option git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9470 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 December 2009, 17:02:42 UTC |
5afb356 | Xavier Leroy | 12 December 2009, 16:19:23 UTC | First cut at new IA32 code generator exploiting SSE2 float instructions git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9469 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 December 2009, 16:19:23 UTC |
f2124ef | Xavier Leroy | 12 December 2009, 15:03:51 UTC | Experiment: use SSE2 floats for the x86-32 port. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/sse2@9468 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 December 2009, 15:03:51 UTC |
758e4cd | Pierre Weis | 09 December 2009, 09:52:47 UTC | Using -strict-sequence to compile the compiler. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9467 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 December 2009, 09:52:47 UTC |
341d13f | Pierre Weis | 09 December 2009, 09:32:39 UTC | Error report in case of -strict-sequence has been triggered. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 December 2009, 09:32:39 UTC |
3ced519 | Pierre Weis | 09 December 2009, 09:23:48 UTC | Typo. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 December 2009, 09:23:48 UTC |
700da01 | Pierre Weis | 09 December 2009, 09:17:12 UTC | Adding the -strict-sequence option. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 December 2009, 09:17:12 UTC |
e5ecb27 | Pierre Weis | 09 December 2009, 08:28:59 UTC | Documenting that +int is now a valid token, hence %F can support a sign indication. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 December 2009, 08:28:59 UTC |
7ad9cd9 | Pierre Weis | 07 December 2009, 16:40:39 UTC | To deal with printf output for %F format, adding a unary + operator. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 07 December 2009, 16:40:39 UTC |
bfa1c0f | Damien Doligez | 03 December 2009, 16:06:56 UTC | updated to new language constructs git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 December 2009, 16:06:56 UTC |
33c9311 | Damien Doligez | 03 December 2009, 16:05:49 UTC | update addlabels for new language constructs git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 December 2009, 16:05:49 UTC |
f2734e2 | Damien Doligez | 03 December 2009, 16:04:55 UTC | stupid bug with warnings git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 December 2009, 16:04:55 UTC |
769be0e | Pierre Weis | 01 December 2009, 09:57:02 UTC | Including bug correction (signed numeric constants may begin with a + sign). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9437 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 01 December 2009, 09:57:02 UTC |
cec0afc | Pierre Weis | 30 November 2009, 23:21:49 UTC | Introducing output meanings to subsume set/get_[all_]formatter_output_functions. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9436 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 November 2009, 23:21:49 UTC |
f345826 | Pierre Weis | 30 November 2009, 22:44:12 UTC | Bump dev level. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9435 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 November 2009, 22:44:12 UTC |
0dfebd6 | Pierre Weis | 30 November 2009, 22:43:27 UTC | Doc. Reporting PRs. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9434 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 November 2009, 22:43:27 UTC |
1e6f95e | Pierre Weis | 30 November 2009, 22:04:17 UTC | Introducing formatter output meanings. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9433 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 November 2009, 22:04:17 UTC |
7e68ecf | Pierre Weis | 30 November 2009, 22:02:08 UTC | Typing %, noop conversion. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 November 2009, 22:02:08 UTC |
5d35a4b | Pierre Weis | 30 November 2009, 21:58:35 UTC | Format concatenation introduces %, to delimit conversions. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9431 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 November 2009, 21:58:35 UTC |
bdd01e7 | Pierre Weis | 30 November 2009, 21:51:08 UTC | Introducing nop format delimiter %, git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9430 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 November 2009, 21:51:08 UTC |
41d5f40 | Pierre Weis | 30 November 2009, 21:49:25 UTC | Introducing nop format delimiter %, git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9429 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 November 2009, 21:49:25 UTC |
ada3c31 | Pierre Weis | 30 November 2009, 21:47:56 UTC | Introducing formatted input channels. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 November 2009, 21:47:56 UTC |
1b5c3a3 | Pierre Weis | 30 November 2009, 21:46:56 UTC | Documentation. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 November 2009, 21:46:56 UTC |
b2090f6 | Damien Doligez | 19 November 2009, 12:27:15 UTC | added warning 28: wildcard arg to constant constructor git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 November 2009, 12:27:15 UTC |
0f8109e | Damien Doligez | 06 November 2009, 18:05:54 UTC | updated svn:ignore git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9411 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 November 2009, 18:05:54 UTC |
f2a404e | Damien Doligez | 04 November 2009, 12:25:47 UTC | inconsistency reported by Basile git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 November 2009, 12:25:47 UTC |
f5efbb6 | Damien Doligez | 02 November 2009, 12:19:08 UTC | fine-grained control of warnings -- cont git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 02 November 2009, 12:19:08 UTC |
74aff36 | Damien Doligez | 02 November 2009, 12:17:49 UTC | fine-grained control of warnings git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 02 November 2009, 12:17:49 UTC |
89107ae | Alain Frisch | 01 November 2009, 21:52:29 UTC | Merge the letopenin branch in (svn merge -r9386:9397 /svn/ocaml/branches/letopenin) and update Changes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 01 November 2009, 21:52:29 UTC |
1e5b4a4 | Alain Frisch | 26 October 2009, 10:53:16 UTC | Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod. Adapt the Changes file. Bump magic numbers. Bootstrap. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 October 2009, 10:53:16 UTC |
023fda3 | Jacques Garrigue | 26 October 2009, 07:11:36 UTC | merge polymorphic recursion git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 October 2009, 07:11:36 UTC |
349467e | Xavier Leroy | 22 October 2009, 15:45:54 UTC | New warning `not all labels are mentioned in this record pattern' moved to letter 'R' (instead of 'E' previously). Explicitly turned off in myocamlbuild configuration. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 22 October 2009, 15:45:54 UTC |
ada68db | Alain Frisch | 20 October 2009, 09:04:37 UTC | Update Changes. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 October 2009, 09:04:37 UTC |
09cb552 | Alain Frisch | 20 October 2009, 07:06:43 UTC | Import changes from the newtypein branch (svn merge -r 9367:9381 https://yquem.inria.fr/caml/svn/ocaml/branches/newtypein). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 October 2009, 07:06:43 UTC |
835ae86 | Xavier Leroy | 18 October 2009, 08:14:24 UTC | Treat these GIF files as binary data git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 18 October 2009, 08:14:24 UTC |
db5a053 | Alain Frisch | 06 October 2009, 12:51:42 UTC | Import changes from the newtypein branch (svn merge -r 9361:9367 https://frisch@yquem.inria.fr/caml/svn/ocaml/branches/newtypein). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9368 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 October 2009, 12:51:42 UTC |
e5522b6 | Pierre Weis | 25 September 2009, 15:03:06 UTC | Variable err is initialized to 0. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 September 2009, 15:03:06 UTC |
4b71a31 | Pierre Weis | 25 September 2009, 12:56:10 UTC | Les fonctions internal_tracevis et internal_tracedestroy sont mal declarees. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 September 2009, 12:56:10 UTC |
0ae5a2d | Pierre Weis | 25 September 2009, 08:01:40 UTC | Spell-check. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 25 September 2009, 08:01:40 UTC |
d165928 | Pierre Weis | 23 September 2009, 11:19:29 UTC | Documentation + better phrasing. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 September 2009, 11:19:29 UTC |
318bab1 | Pierre Weis | 23 September 2009, 11:18:23 UTC | Correcting the F specification with/without widths. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9345 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 September 2009, 11:18:23 UTC |
4126456 | Pierre Weis | 23 September 2009, 11:17:05 UTC | Typos. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 September 2009, 11:17:05 UTC |
bbbe01a | Pierre Weis | 23 September 2009, 11:16:33 UTC | Doc. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 September 2009, 11:16:33 UTC |
b906a69 | Xavier Leroy | 12 September 2009, 12:44:45 UTC | MAJ git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 September 2009, 12:44:45 UTC |
9c6c8fb | Xavier Leroy | 12 September 2009, 12:41:07 UTC | As discussed at the latest consortium meeting: Syntactic sugar {x} for {x=x} in record expressions and patterns. Syntax { lbl=pat; _ } to mark record patterns where the user explicitly wants not to list all labels. Warning (activated by E, the fragile match warning) to signal record patterns without '; _' that fail to list all labels. To be done: adjust Camlp4 parser accordingly. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 12 September 2009, 12:41:07 UTC |
7be229f | Pierre Weis | 11 September 2009, 16:16:44 UTC | Documentation. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 September 2009, 16:16:44 UTC |
714d968 | Pierre Weis | 10 September 2009, 08:05:33 UTC | New ikfprintf function for Format. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 September 2009, 08:05:33 UTC |
6aa6323 | Pierre Weis | 10 September 2009, 07:41:58 UTC | A simpler implementation for ifprintf. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9328 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 10 September 2009, 07:41:58 UTC |
b549b3e | Pierre Weis | 09 September 2009, 15:15:03 UTC | Addition of ikprintf as suggested in FR#0004859. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 September 2009, 15:15:03 UTC |
25d7f8f | Pierre Weis | 04 September 2009, 16:19:35 UTC | Refined error message for unbound identifiers: if M.ident is unbound and M is unbound, then unbound module M is reported. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 September 2009, 16:19:35 UTC |
b01621e | Xavier Leroy | 27 August 2009, 08:19:08 UTC | Added syntactic sugar for record expressions and record patterns: { lbl } stands for { lbl = lbl }. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 27 August 2009, 08:19:08 UTC |
71b94fa | Damien Doligez | 20 July 2009, 11:51:50 UTC | merge changes from ocaml3111rc0 to ocaml3111 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 July 2009, 11:51:50 UTC |
591d89e | Damien Doligez | 16 July 2009, 14:18:41 UTC | resolve name clash with ossp-str git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 July 2009, 14:18:41 UTC |
a5aa0b7 | Xavier Leroy | 15 July 2009, 14:50:31 UTC | PR#4210, PR#4245: tightened bound checking in string->integer conversion functions, without changing what the lexer accepts git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 15 July 2009, 14:50:31 UTC |
11217e8 | Xavier Leroy | 15 July 2009, 14:06:37 UTC | Added option -no-app-funct to turn off applicative functors git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 15 July 2009, 14:06:37 UTC |
d89ee16 | Pierre Weis | 03 July 2009, 10:46:10 UTC | Qualifying an out_channel occurrence. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 July 2009, 10:46:10 UTC |
c195fae | Pierre Weis | 03 July 2009, 10:32:45 UTC | One step further to unification printf/format: *printf functions get exactly the same types. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 July 2009, 10:32:45 UTC |
5cb9bec | Pierre Weis | 03 July 2009, 08:37:36 UTC | Typos. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 July 2009, 08:37:36 UTC |
c9839c8 | Pierre Weis | 03 July 2009, 08:36:54 UTC | List scanning revisited. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 03 July 2009, 08:36:54 UTC |
f8107f9 | Luc Maranget | 23 June 2009, 09:35:12 UTC | PR#0004828 fixed git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 23 June 2009, 09:35:12 UTC |
3b672bf | Pierre Weis | 21 June 2009, 22:40:33 UTC | More scanf tests (in particular %r has been added). Doc. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 21 June 2009, 22:40:33 UTC |
9ac11d0 | Nicolas Pouillard | 26 May 2009, 12:50:41 UTC | build with ocamlbuild: Fix the natdynlink build git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 26 May 2009, 12:50:41 UTC |
038ceed | Nicolas Pouillard | 24 May 2009, 09:11:39 UTC | Fix ocamlbuild -where git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 24 May 2009, 09:11:39 UTC |
ed32f56 | Damien Doligez | 20 May 2009, 11:52:42 UTC | merge changes from ocaml3110 to ocaml3111rc0 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 20 May 2009, 11:52:42 UTC |
7795eaf | Jacques Garrigue | 19 May 2009, 08:17:02 UTC | use TypeHash for nondep_type, and add env to nondep_mty git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9263 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 19 May 2009, 08:17:02 UTC |
eb1922c | Xavier Leroy | 05 May 2009, 09:13:26 UTC | ARM EABI: do not force use of register r9 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 May 2009, 09:13:26 UTC |
4e50c49 | Xavier Leroy | 04 May 2009, 13:46:46 UTC | Updating the ARM port, continued: - Reserve register r9 and treat r10 as callee-save, as per the EABI. - Treatment of alloc_limit register. - Fixed bug in inlined allocation sequence. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 04 May 2009, 13:46:46 UTC |
5ba1744 | Xavier Leroy | 16 April 2009, 07:23:35 UTC | Typo in error message git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 April 2009, 07:23:35 UTC |
6317d01 | Maxence Guesdon | 09 April 2009, 13:55:53 UTC | fix compilatin of ocamldoc for NT with no odoc_opt.ml any more git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 09 April 2009, 13:55:53 UTC |
e1556cf | Pierre Weis | 06 April 2009, 22:23:23 UTC | option -C is a gnuism that is not portable: use cd instead! git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 06 April 2009, 22:23:23 UTC |
238cf4b | Xavier Leroy | 01 April 2009, 16:50:10 UTC | PR#3047: added Unix.setgroups, Unix.initgroups. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9220 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 01 April 2009, 16:50:10 UTC |
3c9c7b9 | Xavier Leroy | 01 April 2009, 16:34:55 UTC | PR#4664: documentation of print_tab git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9219 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 01 April 2009, 16:34:55 UTC |
42f90d7 | Xavier Leroy | 01 April 2009, 16:20:20 UTC | PR#4641: added bitwise operation to Big_int git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9218 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 01 April 2009, 16:20:20 UTC |
c2bdcaf | Xavier Leroy | 01 April 2009, 16:08:57 UTC | Added testfork git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9217 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 01 April 2009, 16:08:57 UTC |
2da17c4 | Xavier Leroy | 01 April 2009, 16:08:37 UTC | PR#4638: added expm1 and log1p. Cleaned up some doc comments in stdlib/pervasives.mli git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 01 April 2009, 16:08:37 UTC |
ace551a | Xavier Leroy | 31 March 2009, 11:50:48 UTC | PR#4759: bad merge of emit_call, etc git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 31 March 2009, 11:50:48 UTC |
467a82f | Xavier Leroy | 31 March 2009, 09:46:33 UTC | Updates with new ARM port git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 31 March 2009, 09:46:33 UTC |
cb4e3f7 | Xavier Leroy | 31 March 2009, 09:46:08 UTC | Brought up-to-date git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 31 March 2009, 09:46:08 UTC |
5732a03 | Xavier Leroy | 31 March 2009, 09:45:55 UTC | Updated ARM port to new ABI (EABI), with software floating-point. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 31 March 2009, 09:45:55 UTC |
1a7d4a3 | Xavier Leroy | 31 March 2009, 09:44:50 UTC | Added and used Reg.createv_like. Selectgen: new methods regs_for, enables ports to store float values in pairs of integer registers. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 31 March 2009, 09:44:50 UTC |
aa3a23c | Pierre Weis | 30 March 2009, 09:55:41 UTC | Adding tests for %S scanning. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9207 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 March 2009, 09:55:41 UTC |
0515798 | Pierre Weis | 30 March 2009, 08:00:40 UTC | Correcting documentation in scan_Char. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 March 2009, 08:00:40 UTC |
cb77d49 | Pierre Weis | 30 March 2009, 07:21:02 UTC | Wrong scanning of continuation line breaks corrected (BR#4758). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 March 2009, 07:21:02 UTC |
928e3fc | Pierre Weis | 30 March 2009, 07:06:06 UTC | Typo in doc. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 30 March 2009, 07:06:06 UTC |
785a6d9 | Pierre Weis | 28 March 2009, 14:24:53 UTC | A simple fix to BR#4756 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 28 March 2009, 14:24:53 UTC |
9e6bbde | Damien Doligez | 16 March 2009, 14:36:51 UTC | PR#4722 typo git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 16 March 2009, 14:36:51 UTC |
e93f6dd | Maxence Guesdon | 11 March 2009, 07:04:39 UTC | option -g also for native code version (loading custom generators) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 11 March 2009, 07:04:39 UTC |
8915494 | Nicolas Pouillard | 05 March 2009, 21:54:58 UTC | camlp4,printer: handle the empty data type. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 March 2009, 21:54:58 UTC |
c487f4e | Nicolas Pouillard | 05 March 2009, 16:11:37 UTC | camlp4: bootstrap git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 | 05 March 2009, 16:11:37 UTC |