Damien Doligez
|
659615c7b1
|
fix PR#7003 and a few other bugs caused by misuse of Int_val
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2015-10-19 15:47:33 +00:00 |
Damien Doligez
|
1326b12f74
|
merge branch 4.02 from rev 16205 to rev 16238
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2015-07-29 22:19:24 +00:00 |
Damien Doligez
|
3e17d04ef0
|
PR#6931: Incorrect error message
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16235 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2015-07-22 14:04:39 +00:00 |
Damien Doligez
|
860c670848
|
merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2015-07-17 14:31:05 +00:00 |
Damien Doligez
|
4c1b09cdc4
|
GPR#143: fix getsockopt behaviour for boolean socket options
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15837 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2015-02-10 22:48:16 +00:00 |
Damien Doligez
|
954b798ba7
|
PR#6573: extern "C" for systhreads/threads.h
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2015-01-20 19:41:36 +00:00 |
Damien Doligez
|
031cffd155
|
merge branch 4.02 from release 4.02.0 to release 4.02.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2014-10-15 13:34:58 +00:00 |
Damien Doligez
|
51e08c490b
|
PR#4099: Bug in Makefile.nt: won't stop on error
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2014-09-26 20:57:13 +00:00 |
Damien Doligez
|
a18bc7950b
|
merge changes of version/4.02 from r15121 to r15155
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2014-08-29 17:14:00 +00:00 |
Damien Doligez
|
cbfe627f92
|
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2014-08-22 13:45:02 +00:00 |
Damien Doligez
|
9ac64ba6a4
|
PR#6406: Expose OCaml version in C headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15017 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2014-07-21 20:39:38 +00:00 |
Damien Doligez
|
80f91b100b
|
change version number after branching 4.02
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2014-05-12 19:04:06 +00:00 |
Damien Doligez
|
5b8df637d2
|
merge branch "safe-string"
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2014-04-29 11:56:17 +00:00 |
Damien Doligez
|
e8d15e704c
|
merge branch 4.01 from 4.01.0 (revision 14115) to branch closure (revision 14525)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2014-04-04 17:32:35 +00:00 |
Damien Doligez
|
61a4334e27
|
test/tool-debugger: add simple test for the debugger
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-12-19 14:47:26 +00:00 |
Damien Doligez
|
fadcc73c50
|
Merge branch 4.01 from 4.01.0+rc1 to 4.01.0
Command line used:
svn merge --accept postpone -r 14055:14115 $REPO/version/4.01 .
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14121 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-09-12 15:21:52 +00:00 |
Damien Doligez
|
7844495624
|
Merge branch 4.01 from branching point to 4.01.0+rc1
Command line used:
svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 .
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-09-04 15:12:37 +00:00 |
Damien Doligez
|
e680af3602
|
update version number after branching 4.01
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13775 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-06-13 20:10:42 +00:00 |
Damien Doligez
|
a213e574f2
|
before branching 4.01
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13774 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-06-13 19:18:40 +00:00 |
Damien Doligez
|
48f65d07f8
|
PR#5098: creating module values may lead to memory leaks
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13735 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-06-03 14:46:04 +00:00 |
Damien Doligez
|
e69730e0d6
|
extend warning 3 to other deprecated features: Latin1, (&) and (or)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13706 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-05-28 11:05:58 +00:00 |
Damien Doligez
|
c3bf54a7b6
|
merge changes from version/4.00 from 4.00.1 to r13697
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13699 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-05-22 12:56:54 +00:00 |
Xavier Leroy
|
e29c9d2956
|
PR#5986: added flag Marshal.Compat_32 and ocamlc option -compat-32.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-04-18 11:58:59 +00:00 |
Damien Doligez
|
d568e00263
|
undo commit 13312 to keep compatibility with BSDmake
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-03-28 16:10:24 +00:00 |
Damien Doligez
|
7b31f54095
|
It is no longer necessary to keep pre-processed files in case of errors
(see commits 3817 and 5224,5302,5816)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-03-18 20:13:53 +00:00 |
Damien Doligez
|
7224745796
|
PR#5775: several bug fixes for tools/pprintast.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13016 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-10-16 09:51:42 +00:00 |
Damien Doligez
|
bb5c5b7e88
|
merge changes from 4.00.0 to 4.00.1
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-10-05 15:21:35 +00:00 |
Damien Doligez
|
526d44647b
|
PR#5757: GC compaction bug (crash)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-09-10 10:25:18 +00:00 |
Damien Doligez
|
f4ec71e64b
|
PR#5712: doc of Format.printf and missing functions in StdLabels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-08-06 11:55:32 +00:00 |
Damien Doligez
|
997a678d5e
|
clean up TABs and whitespace
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-07-30 18:04:46 +00:00 |
Damien Doligez
|
3bb278c944
|
merge changes from 4.00 branching to 4.00.0 (part 2: testsuite)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-07-27 11:31:21 +00:00 |
Damien Doligez
|
0c3a7de507
|
merge changes from 4.00 branching to 4.00.0 (part 1)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-07-26 19:21:54 +00:00 |
Fabrice Le Fessant
|
d39d43e55f
|
merge with branch bin-annot
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-05-30 14:52:37 +00:00 |
Damien Doligez
|
b510b67cb5
|
PR#5389: compaction sometimes leaves a very large heap
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-04-17 08:21:52 +00:00 |
Damien Doligez
|
4191b43bc9
|
PR#5311: better message for warning 23
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-03-31 20:55:13 +00:00 |
Damien Doligez
|
e50091b8e7
|
update version to 4.01.0 after branching of 4.00
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12218 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-03-12 13:07:57 +00:00 |
Damien Doligez
|
0ed38a9fb1
|
bumped version to 4.00.0 (per Xavier's decision)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-03-08 22:27:57 +00:00 |
Damien Doligez
|
6c24f4f90b
|
merge version 3.12 from 3.12.1 to r12205
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-03-08 19:52:03 +00:00 |
Damien Doligez
|
7092fb36d6
|
PR#1835: add function Digest.from_hex
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12082 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-01-26 22:56:48 +00:00 |
Damien Doligez
|
25065da568
|
PR#5387: typo in commit 11986
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-01-10 20:19:33 +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 |
Pierre Weis
|
7dc1899f9e
|
Dev++ for #4380 correction.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2011-10-25 13:15:19 +00:00 |
Jacques Garrigue
|
156fff1b8a
|
Keep type variable names
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2011-09-22 09:05:42 +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 |
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 |
Pierre Weis
|
8f91de1b83
|
Dev version ++.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11101 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2011-06-20 21:47:16 +00:00 |
Jacques Garrigue
|
852558d482
|
fix record pattern-matching; sort records in typed tree
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11091 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2011-06-15 09:26:30 +00:00 |
Pierre Weis
|
b032bc1397
|
Bumping revision number
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2011-03-18 00:16:07 +00:00 |
Jacques Le Normand
|
4159485fff
|
changed VERSION to 3.13.0-gadt so that it can work with camlp5. This is nonstandard, but hopefully it will not cause any problems
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10835 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-19 14:27:41 +00:00 |
Jacques Le Normand
|
b36e845126
|
updated VERSION and config files
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-13 11:27:56 +00:00 |