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
4b8b6fed96
Tick thread: remove hack specific to LinuxThreads v1, probably useless today, certainly problematic when program is daemonized.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-09 11:57:23 +00:00
4d7a905b69
Trigger GC when alloc_ptr < alloc_start, not < alloc_limit.
...
(In native code, the latter test triggers unneeded GCs after a signal
is recorded.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11079 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-09 11:56:21 +00:00
336e416561
update tests
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-06 06:44:23 +00:00
f70dbeb1b8
fix problem with constraints outside of matching, see typing-gadts/test.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-05 15:00:04 +00:00
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
e6d76ed5b1
Hashtbl again: simplified interface for seeding; seed is now an optional parameter of the "create" function, and it is the user's responsibility to generate a random seed if desired.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11063 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-04 08:08:40 +00:00
2c3c8db149
Forgot to add new header
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11061 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-01 15:11:09 +00:00
aea227fdeb
Better hashing!
...
- New generic hash function based on Murmur 3, with better statistical
properties (PR#5225), and better speed
- Make sure equal floats hash equally (PR#5222)
- Breadth-first traversal instead of depth-first
- Added seeded hash functions and seeded functorial interface to Hashtbl.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11056 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-05-29 09:52:27 +00:00
9007782d63
line break in doc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-05-13 13:30:30 +00:00
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
9d0006c665
camlheaderd is generated
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-04-26 12:16:24 +00:00
3e7936cc2c
limit propagation of type constraints to patterns to -principal mode
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-04-19 02:34:54 +00:00
ea15141d8a
* make -principal stricter for gadts
...
* may also change behaviour without -principal
* propagate type constraints in let expressions to patterns
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@11011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-04-19 02:13:52 +00:00
9bf11b9057
Problem with Damien's change: if foo.pic.c exists (and it does on second and subsequent compilations), make applies the rule .c -> .o instead of .c -> .pic.o, resulting in .pic.o files compiled without -fPIC. As a partial workaround, remove .pic.c links after compilation. Not perfect because .pic.c stays around if compilation fails.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-29 08:05:05 +00:00
be266ab70f
Support inlining of functions containing structured constants.
...
These structured constants are shared between all inlinings.
Contributed by Fabrice Le Fessant.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11007 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-29 07:58:53 +00:00
de47195103
Added public functions "caml_array_length" and "caml_is_double_array"
...
to abstract (slightly) over the concrete representation of arrays.
Contributed by F. Le Fessant.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11006 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-29 07:33:34 +00:00
919873347f
Ignoring compiled files. Bootstrap.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-18 00:25:29 +00:00
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
ddd69c683b
On bsd make clean should remove the links .pic.c
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-18 00:14:51 +00:00
5b901b7390
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:55:28 +00:00
7d9d86a1ed
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:54:48 +00:00
48f2c1714e
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:37:35 +00:00
fb776a438f
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10995 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:36:59 +00:00
a7bae3171c
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10994 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:36:34 +00:00
9aab2632b6
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10993 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:35:56 +00:00
e4c9802a6d
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:34:26 +00:00
64195886f4
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10991 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:33:36 +00:00
be0282079d
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10990 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:32:51 +00:00
60d8ffee36
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10989 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:32:23 +00:00
9db7c60dab
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10988 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:31:50 +00:00
2dda988df1
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10987 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:31:03 +00:00
dc2472c8dd
Ignoring compiled files.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10986 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 23:25:14 +00:00
a540227d29
Ignoring compile files for command svn st
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10985 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 22:51:31 +00:00
63ff703dbf
Should choose recent versions of Tk/Tcl first.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10984 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 22:37:46 +00:00
0ab3788be5
Merging with 3.12 version
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10983 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17 22:34:52 +00:00
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
80384c6d84
PR#5237: incorrect .size directives generated for x86-32 and x86-64
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-13 13:36:00 +00:00
04968cc2e6
fix principality by expanding local definitions when exporting a value
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10979 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-10 06:27:24 +00:00
ce86438318
Including corrections from 3.12.1.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-06 16:26:34 +00:00
e21c5bd0f6
Including corrections from 3.12.1.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10975 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-06 16:24:33 +00:00
a11d74583a
Including correction from 3.12.1.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10974 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-06 16:20:28 +00:00
974779cd1d
recover some principality
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-02-24 06:29:26 +00:00
0d2a1430d0
Defining type file_name.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10963 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-02-23 18:39:15 +00:00
480c99722b
@ must be escaped in some strange circumstances!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10961 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-02-23 16:36:36 +00:00
3922204442
Documentation (Bug #5230 ).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10959 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-02-22 00:32:46 +00:00
b2520d12ea
Document the fact that Hashtbl.length runs in constant time.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-01-18 12:54:57 +00:00
30d608dda0
add some more examples + section titles
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10925 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-01-07 07:21:43 +00:00
3345086867
backport of fix from gadts-devel
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10924 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-01-07 07:17:38 +00:00
451b491a8a
warning 28 activated by default
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-01-06 14:24:26 +00:00
Xavier Leroy
Jacques Garrigue
Damien Doligez
Pierre Weis
Alain Frisch