Commit Graph

371 Commits (98e95811c551f9d28dd6797e4723bfb3815c6a6f)

Author SHA1 Message Date
Xavier Clerc 48d5f48d6d PR#5199: tests are run only for bytecode if either native support is missing,
or a non-empty value is set to "BYTECODE_ONLY" Makefile variable.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18 09:51:16 +00:00
Fabrice Le Fessant 869feeb007 Fix PR#5461
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12033 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-17 21:57:54 +00:00
Fabrice Le Fessant 28c7bcd42d Fix PR#5475
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-17 21:47:36 +00:00
Fabrice Le Fessant 6f9f5cdfdb Fix PR#5479
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12031 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-17 20:32:33 +00:00
Alain Frisch 55688836f4 PR#4688: (Windows) special floating-point values aren't converted to strings correctly.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12030 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-16 10:23:51 +00:00
Alain Frisch f814bc1fcd #5478: Update Changes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-16 09:13:37 +00:00
Xavier Leroy ee95e9fd91 More efficient implementation of {Set,Map}.{filter,partition}
Optimize Set.join just like Map.join was recently.
Added some tests for Set and Map.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12026 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-16 09:03:16 +00:00
Xavier Leroy 546bccd742 I messed up the distinction between "Bug fixes" and "Feature wishes". Repairing.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-14 09:48:01 +00:00
Xavier Leroy e9123cd60f PR#5327, PR#5329: improvements in Unix.select emulation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12023 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-14 09:40:49 +00:00
Fabrice Le Fessant faa64b3053 Fix bug #5476: native code compilation of let rec on float arrays
Applied the two patches of Gabriel Scherer to (1) fix the bug with
float array in let-rec, and (2) add a test-suite for let-rec



git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-13 17:46:21 +00:00
Jacques Garrigue db50558e33 fix PR#5469
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-10 03:01:50 +00:00
Fabrice Le Fessant d02419cef7 Fix bug #3888 (String.map and Scanf.unescaped)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12004 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-08 15:38:38 +00:00
Fabrice Le Fessant 4c4a9fc507 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
2012-01-07 20:55:28 +00:00
Damien Doligez 2c04ae521e PR#4549: make Filename.dirname/basename POSIX compliant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-06 14:24:58 +00:00
Damien Doligez 6b4bb576df 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
2011-12-30 16:28:16 +00:00
Damien Doligez 0c7984afc6 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
2011-12-29 20:42:11 +00:00
Wojciech Meyer 3542301ef7 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
2011-12-29 03:13:40 +00:00
Damien Doligez 6e7e555206 formatting and annotation of incompatible changes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11967 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-28 13:24:26 +00:00
Xavier Leroy c3ead2a680 PR#5325 ("remove" solution).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11966 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-28 10:38:55 +00:00
Alain Frisch 7f7dc416fd 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
2011-12-27 09:08:34 +00:00
Wojciech Meyer ddc66298a3 PR#5313: Add Change log entry
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22 19:11:30 +00:00
Jonathan Protzenko b47d5b20f2 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
2011-12-22 14:04:18 +00:00
Xavier Leroy bc02593570 PR#5345: optimize checkbound for constant indices.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22 09:36:45 +00:00
Jacques Garrigue 16d937aa40 fix PR#5436
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-22 07:30:18 +00:00
Damien Doligez 19e2bca8ea correct syntax highlighting in emacs (continued)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21 15:39:12 +00:00
Xavier Leroy c8f32a4a50 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
2011-12-21 10:36:35 +00:00
Alain Frisch d79455bc76 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
2011-12-21 08:58:56 +00:00
Alain Frisch 16c26c6de3 let-like operators.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11894 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20 11:22:32 +00:00
Xavier Leroy a40d0432b2 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
2011-12-20 10:42:36 +00:00
Alain Frisch c1f154ea70 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
2011-12-20 10:35:43 +00:00
Xavier Leroy b51df176a8 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
2011-12-20 08:59:09 +00:00
Xavier Leroy ca0c236919 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
2011-12-18 10:00:56 +00:00
Xavier Leroy 3e42214295 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
2011-12-17 11:12:50 +00:00
Xavier Leroy 9178181eae 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
2011-12-17 10:45:23 +00:00
Alain Frisch 0b002c286a Update Changes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14 10:40:58 +00:00
Jacques Garrigue 6306860e1f fix PR#5343
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-10 02:51:09 +00:00
Damien Doligez 8b700ead50 better reporting of wrong version for .cmi files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29 15:55:49 +00:00
Xavier Leroy 854afdd4e9 Reverted most of previous change re: local labels in AMD64/MacOSX.
The wretched MacOSX "ld -shared" (under 10.6 at least) balks on
subtracting two local labels, while it deigns subtracting two
nonlocal labels.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-15 09:44:07 +00:00
Xavier Leroy fc82a408a3 AMD64/MacOSX code generator: make local asm labels really local. (L100 instead of .L100)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-15 08:55:43 +00:00
Xavier Clerc 5aa55e0fc8 PR#5330: thread tag with '.top' and '.inferred.mli' targets
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11169 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-08 09:39:10 +00:00
Jacques Garrigue 9dc661c3bf merge branches/gadts
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-29 10:32:43 +00:00
Jacques Garrigue 173c44001c finish fixing PR#5322
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-29 01:44:00 +00:00
Damien Doligez 3b507dd1aa renaming of Objective Caml to OCaml and cleanup of copyright headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 14:17:02 +00:00
Jacques Garrigue b7b719f6f0 fix bug reported by Polux Moon on 2011-07-26
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11151 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 08:48:22 +00:00
Damien Doligez c91db736b1 merge changes from 3.12.0 to 3.12.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 09:17:07 +00:00
Xavier Clerc 46d5420ca9 PR#5301: camlp4r and exception equal to another one with parameters
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11121 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-12 09:41:01 +00:00
Xavier Clerc 4e8b7a4808 Typo in message associated to PR#5301.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-27 07:53:01 +00:00
Xavier Clerc 91bcd90c5b PR#5301: camlp4r and of exception equal to another one with parameters
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11103 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-27 07:37:06 +00:00
Xavier Leroy 9af488cbbd PR#5287: Optimized handling of partially-applied functions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11086 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-12 10:04:46 +00:00
Xavier Leroy b5bc74437d Revised simplification of let-alias (PR#5205, PR#5288)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11085 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-11 13:10:22 +00:00
Xavier Leroy 174ff0b018 PR#3806, 4752, 5246: added "hypot" and "copysign" to Pervasives.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-04 08:55:55 +00:00
Damien Doligez 31b0292413 renaming "Objective Caml" to "OCaml" (first pass)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11015 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-04-26 12:16:50 +00:00
Damien Doligez a53ce2df70 add option -runtime-variant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 16:18:05 +00:00
Damien Doligez 575555eecd merge changes from branching of 3.12 to release/3.12.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-02 14:37:22 +00:00
Xavier Clerc ffa66ded92 PR#4964: parenthesized names for infix functions in annot files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-31 13:18:11 +00:00
Alain Frisch 66092ce6ff Extend Map with functions from Set.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10468 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 13:29:43 +00:00
Alain Frisch e671780b01 Fix PR#4012: Map.map and Map.mapi do not conform to specification.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 11:22:14 +00:00
Xavier Leroy 9d27a7fc8e Slightly better code generated for floating-point comparisons.
Windows-MSVC port updated as well but not tested yet.
The testsuite contains appropriate tests (in tests/basic/equality.ml).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10460 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-24 15:26:23 +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
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 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
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
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
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
Jacques Garrigue cb86b1933f document explicit override and destructive substitution
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10380 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-07 06:55:52 +00:00
Damien Doligez 7c9c51b21d updated Random and warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-30 14:19:30 +00:00
Damien Doligez 27780d9f8a fixed several build problems
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-22 15:41:16 +00:00
Alain Frisch 683d6b0202 PR #5018: Wrong exception raised by Dynlink.loadfile.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-06 21:00:18 +00:00
Xavier Leroy 8f0185c58d PR#5004: overflow in Buffer.add_channel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-03-28 08:16:45 +00:00
Xavier Leroy 18dc114330 PR#5008: forgot to reserve bottom 32 bytes of stack before calling the GC (AMD64/MSVC port only)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10215 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-03-28 08:04:39 +00:00
Damien Doligez 04b1656222 clean up spaces and tabs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-22 12:48:24 +00:00
Damien Doligez bdc0fadee2 merge changes from release/3.11.1 to release/3.11.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-20 16:26:46 +00:00
Pierre Weis 700da01338 Adding the -strict-sequence option.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-12-09 09:17:12 +00:00
Alain Frisch 89107ae6ff 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
2009-11-01 21:52:29 +00:00
Alain Frisch 1e5b4a4857 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
2009-10-26 10:53:16 +00:00
Jacques Garrigue 023fda3fb4 merge polymorphic recursion
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-26 07:11:36 +00:00
Xavier Leroy 349467ec45 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
2009-10-22 15:45:54 +00:00
Alain Frisch ada68db994 Update Changes.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-20 09:04:37 +00:00
Xavier Leroy b906a69535 MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-12 12:44:45 +00:00
Pierre Weis 714d968b84 New ikfprintf function for Format.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-10 08:05:33 +00:00
Pierre Weis 25d7f8fdc1 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
2009-09-04 16:19:35 +00:00
Xavier Leroy b01621e848 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
2009-08-27 08:19:08 +00:00
Damien Doligez 71b94fa3e8 merge changes from ocaml3111rc0 to ocaml3111
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-20 11:51:50 +00:00
Xavier Leroy a5aa0b7e37 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
2009-07-15 14:50:31 +00:00
Damien Doligez ed32f569e3 merge changes from ocaml3110 to ocaml3111rc0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-05-20 11:52:42 +00:00
Pierre Weis bef9a0fded Starting the record of new changes wrt 3.11.0.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9169 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-02-13 13:17:05 +00:00
Damien Doligez 1f95b17570 merge changes from 3.10.2merged to 3.11.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-12-03 18:09:09 +00:00
Xavier Leroy 62b2e16e8a PR#4609: Win32Unix lockf
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9070 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-10-06 11:49:30 +00:00
Pierre Weis 5f5a19a541 PR#4582 is closed.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-09-28 21:12:51 +00:00
Pierre Weis 9aeb72aa0d Better semantics for fscanf. For the record: PR#4562, PR#4605, PR#4614.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9038 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-09-27 20:43:19 +00:00
Xavier Leroy 9cc0b9a01a PR#4577: reinitialize thread machinery after fork
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9037 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-09-27 10:46:55 +00:00
Xavier Leroy 7d912ae76a PR#4390: ajout caml_raise_with_args
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9031 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-09-18 11:49:21 +00:00
Xavier Leroy 444fdef24f MAJ pre 3.11.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-09-18 09:06:37 +00:00
Alain Frisch 20bc66eb25 Enable to (old) -dlcode option by default. -nodynlink disables it.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-15 15:31:32 +00:00
Xavier Leroy 640b24249d Ability to print and capture exception backtraces (see stdlib module Printexc)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8839 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-03-14 13:47:24 +00:00
Damien Doligez 04aa158cb6 merge changes from 3.10.1 to 3.10.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-02-29 14:21:22 +00:00
Damien Doligez 9ea5edac9a merge changes 3.10.0 -> 3.10.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-01-11 16:13:18 +00:00
Alain Frisch 32abe25b89 Same in native code.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-15 16:09:57 +00:00
Pierre Weis 2a99b8737b Expanding the usual compiler's type-based optimisations to private abbreviations.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8474 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-11-01 18:36:43 +00:00
Damien Doligez 4167841b16 fusion de la version 3.10.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8416 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-08 14:19:34 +00:00
Pierre Weis 9fa304e513 Start a new log item for the next version.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-10-04 20:59:38 +00:00
Pierre Weis 8c9e42862c The functions that escape characters ([escaped]) now handle characters
consistently with the compiler's lexer (PR#4220).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8189 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-04-16 11:06:51 +00:00
Xavier Leroy 45089d8de6 MAJ Tcl/Tk 8.4 pour Windows
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7956 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-03-01 15:03:29 +00:00
Xavier Leroy c74f4d0c73 Typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-03-01 13:57:41 +00:00
Xavier Leroy c5ff577e23 Mention Sys.is_directory
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7947 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-03-01 13:55:18 +00:00
Xavier Leroy b4beb4dd7f Stack overflow detection not working under Win64
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-03-01 10:27:48 +00:00
Maxence Guesdon a99f54d484 fix PR#4215: ocamldoc hand '?' in value names when generating html files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-26 09:58:50 +00:00
Xavier Leroy 4fd5cfb539 MAJ 3.10
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7920 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-25 12:44:04 +00:00
Xavier Leroy cddfe88ac6 Changes in 3.10
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2007-02-23 13:37:34 +00:00
Pierre Weis 3be794c1bf New bootstrap.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7718 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-11-06 09:16:05 +00:00
Damien Doligez fbea66a95e fusion des changements 3.09.2 -> 3.09.3
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7619 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-09-20 11:14:37 +00:00
Damien Doligez 1279ab4b76 fusion des changements 3.09.1 -> 3.09.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-04-16 23:28:22 +00:00
Jacques Garrigue 602146f892 add virtual instance variables
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7372 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-04-05 02:28:13 +00:00
Damien Doligez 3aaf0659a4 fusion 3.09.0 -> 3.09.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2006-01-04 16:44:12 +00:00
Xavier Leroy 7999a75160 MAJ 3.09
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7174 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-10-26 15:11:29 +00:00
Xavier Leroy 4aab1d8bcb Suite MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7150 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-10-21 07:55:08 +00:00
Maxence Guesdon f5d7a63a44 ajout changement d'ocamldoc dans Changes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7146 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-10-20 13:04:16 +00:00
Jacques Garrigue 03897ee439 warning
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7135 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-10-17 08:30:58 +00:00
Xavier Leroy 39d9098f39 MAJ pour 3.09
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7120 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-10-12 14:56:37 +00:00
Xavier Leroy a2885ab63d Suite MAJ 3.09
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-10-12 13:40:40 +00:00
Xavier Leroy 2dcb4224b9 Debut MAJ pour 3.09
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-10-12 08:33:41 +00:00
Pierre Weis 11524e2578 MAJ.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7063 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-20 22:15:14 +00:00
Pierre Weis a3b605a2db New function sscanf_format to read a format from a string.
The type of the resulting format is dynamically checked and should be
the type of the template format which is the second argument.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7061 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-09-20 21:42:44 +00:00
Damien Doligez f4cc48c8ea fusion des modifs de 3.08.4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-08-13 20:48:28 +00:00
Jacques Garrigue 3aa312d98b do not force presence for variants with only 1 constructor
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-06-13 01:11:02 +00:00
Jacques Garrigue 15aad8cbb6 ocamlc -i only prints variance annotations when needed
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6827 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-25 00:43:56 +00:00
Damien Doligez 958bd6c492 fusion des changements jusqu'a 3.08.3
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6823 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2005-03-24 16:54:13 +00:00
Damien Doligez 7519fe8f6b fusion des bugfixes de 3.08.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-11-25 00:06:06 +00:00
Damien Doligez c3a39fc8c8 Fusion des modifs de la branche release308 entre 3.08.0 et 3.08.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6612 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-08-20 17:04:35 +00:00
Xavier Leroy 237006931a Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6552 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-07-13 12:19:15 +00:00
Xavier Leroy 416684a960 MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-21 08:44:27 +00:00
Damien Doligez 40973975c0 precisions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6418 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-17 17:20:19 +00:00
Xavier Leroy 17cd0460c0 Merge de OCamlWinPlus (Christopher Watford)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-17 07:48:05 +00:00
Pierre Weis e0122726af Implementation of an extension of record typing: the first path
annotated label in a record implies the implicit path annotations of
the other labels. This way, a single annotation allows the
simultaneous annotation of the whole set of labels. This is a
conservative extension, since all the labels of a record must already
belong to the same module. Hence, any program that was typable before,
had this property and is thus still typable in the new scheme.

This new treatment provides a simple way to desambiguate labels in
mass, just adding a module path annotation on one of the field labels;
this slight improvement of record typing thus avoids the burden of
repeating Module.label for each label of the record.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 21:29:05 +00:00
Damien Doligez cd64d89caf finalisation dans l'ordre
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-14 13:27:42 +00:00
Xavier Leroy 3dce37c196 Generalisation de l'option -o
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-13 12:46:41 +00:00
Xavier Leroy adb2b0dbed MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 10:37:54 +00:00
Xavier Leroy 762a006652 Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-12 08:55:49 +00:00
Damien Doligez b2f3d350af erreur de grammaire
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6383 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-06-11 23:44:03 +00:00
Jacques Garrigue e4f17e3c81 errors
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-27 09:10:44 +00:00
Jacques Garrigue 3078de9e90 changes in object system
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-05-27 07:25:45 +00:00
Damien Doligez 7405556404 directives #line pour lex et yacc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-04-21 23:26:06 +00:00
Damien Doligez 258c929f64 PR#1914,PR#1956, suppression du portage Mac OS 9
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2004-01-05 20:26:19 +00:00
Xavier Leroy 41859eadcd MAJ Format
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-29 09:42:21 +00:00
Pierre Weis 2772ab2460 Tags are now skipped by default in the pretty printer engine.
In Scanf we have %! to match end of input.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-25 10:29:36 +00:00
Jacques Garrigue 0a9b16337d allow workaround for method overridden warning
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-09-10 01:03:50 +00:00
Jacques Garrigue ae18357a62 typing of polymorphic variant matching
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5795 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-23 00:27:14 +00:00
Xavier Leroy 3f44f7de4d MAJ
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-08-21 14:27:35 +00:00
Damien Doligez d28ff2ed0e petites erreurs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5729 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2003-07-23 22:27:26 +00:00