4524b78b65
fixed bug when checking tuples
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10683 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-19 05:12:32 +00:00
56624533fb
switched to abstract types, still needs work on exhaustion type. the code needs to be cleaned up. printfs need to be removed
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-19 04:55:40 +00:00
8fc4a75a01
unbound parameter fix
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10681 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-13 06:18:22 +00:00
415592ed0c
minor changes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-13 05:31:55 +00:00
6de25fef2f
first commit
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-13 05:28:30 +00:00
4fd6cd8275
use free univars for explicit polymorphic types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10663 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-31 06:34:43 +00:00
9a053e7fd8
for Jacques Le Normand
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10660 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-30 04:57:49 +00:00
9498d009f0
prop svn:ignore
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10654 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-24 11:49:26 +00:00
66b02ccfba
add some custom html generators
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10653 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-24 11:48:46 +00:00
0936bb2811
use first-class modules to allow composition of custom generators
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10652 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-24 09:45:45 +00:00
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
7c11c2acf9
add -liberty to LIBBFD_LINK
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-07-13 09:22:44 +00:00
486270b604
Undoing last commit by error.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10609 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-29 12:15:52 +00:00
abf1ca980c
Fixed caml-help (would loose the position of the symbol search for).
...
Added highlighting of the symbol searched for.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-29 12:12:24 +00:00
3eef7c687c
Test reference updated.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10597 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-18 12:23:16 +00:00
9541ef1cd3
Force terminal to "DUMP" for reproducible test cases.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10596 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-18 10:27:40 +00:00
8c927af142
Missing dependency.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-18 09:41:15 +00:00
49f84679d2
Spacing review: symboliques operators are surrounded with spaces, ":" are also surrounded by spaces not to confuse with labels (as exemplify by emacs coloration!).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10551 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-09 11:00:56 +00:00
e873deb417
Adding @since indications + spacing revision in documentation comments.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-09 10:19:06 +00:00
f0588f76fd
forgot to change VERSION after branching
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10534 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-07 15:17:18 +00:00
ef38d5bf94
Report corrections for ^^ from stdlib/pervasives.ml + PR#5062
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-04 16:46:06 +00:00
f5c2201cc0
PR#5062
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-04 16:44:08 +00:00
ef6ed63a78
change back for the bad quote introduced yesterday
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-04 05:37:50 +00:00
7262f444b9
fix output of html header
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-03 13:21:52 +00:00
d8d8390f05
More prudent detection of natdynlink on MacOS 10.4 and 10.5
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-02 08:58:42 +00:00
1ad3294362
natdynlink supported on Intel / MacOS 10.4 and 10.5 platforms
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-02 08:56:11 +00:00
7fbcc30f3f
AMD64/MacOS X: wrong symbol names for caml_negf_mask and caml_absf_mask in -shared mode
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10488 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-06-02 08:55:35 +00:00
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
2146210d4e
ignore objinfo_helper
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-31 12:49:35 +00:00
49e3d68bb5
cut long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10483 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-31 12:48:13 +00:00
b0c511558c
small optimization of Array.concat
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-31 12:46:27 +00:00
3671db5389
Adding @since ocamldoc tags.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-31 12:28:03 +00:00
ceccfea6b4
PR#4831: handle @before tag in ocamldoc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-31 11:52:13 +00:00
d7b5f7e6cb
Update list of architectures where natdynlink is supposed to work.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-31 10:09:32 +00:00
f0d3e10ef7
Simplification.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10476 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-28 15:09:22 +00:00
2084d92c93
Natdynlink is supposed to work for host=i[3456]86-*-darwin10. in 64-bit.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10473 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-28 11:40:00 +00:00
ab9616c72b
add world.opt target
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10472 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-28 11:21:46 +00:00
7e84b29e46
Remove the runtime detection of whether natdynlink works or not.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-28 10:16:31 +00:00
684a1baafe
Do not install natdynlink if it does not work.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10470 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-28 10:11:54 +00:00
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
734b805161
Patch provided by Sylvain Le Gall:
...
- Fix #4894 : Windows (mingw): Unix.select and non-blocking sockets,
add a filedescr.flags_fd in win32unix/unixsupport.h. It contains the
non-blocking status of the associated filedescr and helps to restore
this status after a select.
- Fix #4789 : Windows: Unix.select failing with EPIPE error,
Apply patch provided by J. Vouillon
- Fix #4973 : Failure "Unknown handle",
Be consistent between Windows and Linux, raise an EBADF Unix_error
for a closed pipe handle.
- Fix #4844 : Unix.select bug (triggered if linked against threads),
Apply patch by C. Bauer, replace lpOrig by lpOrigIdx which can survive
a GC collection
For otherlibs/win32unix/{select|windbug}.c:
- Remove Heap* fucntions to allocate/free memory and replace it by
caml_stat_* function, which are more OCaml compliant
- Rework DBUG message, use DEBUG_PRINT rather than #ifdef DBUG... #endif
and use DEBUG variable (more OCaml compliant), also remove dbug_init
functions and use a static variable to replace it (subject to race
condition but this not really important, because every path lead to
same initialization)
- Use a fast start scheme for pipe polling, rather than always waiting
10ms, start by 1, 2, 4, 8 and then 10ms. The 4 first times give select
a chance to a fast answer.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10467 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 13:01:06 +00:00
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
9c07d1022f
Typo in last commit.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10464 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 11:12:48 +00:00
e03c2f78ca
Typo in last commit.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10463 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 11:12:37 +00:00
3e12ede6e7
More explicit list of hosts where natdynlink is enabled.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 11:10:59 +00:00
47dbbc7d7f
Decide at config time if natdynlink is supported or not, but always compile/install dynlink.cmxa to simplify 3rd party packages. A runtime exception signals an unsupported natdynlink.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10461 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-25 10:00:39 +00:00
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
cd648ee2dd
PR#5059: split objinfo into a pure Caml part and a pure C part.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10459 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-24 14:27:50 +00:00
bcb5a6b669
error reporting
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10458 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-24 06:52:16 +00:00
9209d550c5
PR#4831: use tags @since and @before in std lib
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10457 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21 18:30:12 +00:00
Jacques Le Normand
Jacques Garrigue
Maxence Guesdon
Damien Doligez
Mark Shinwell
Didier Rémy
Xavier Clerc
Pierre Weis
Xavier Leroy
Alain Frisch