de1ac52bc6
PR#5715: change the fix to avoid breaking the mingw port
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-30 12:31:27 +00:00
0a2d9c0089
PR#5761: Incorrect bigarray custom block size
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12964 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-27 15:57:13 +00:00
90c353e98c
#5766 : MSVC port broken following switch to winsock2.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12956 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-26 04:18:08 +00:00
2932d1f4a0
PR#5734: improved Win32 implementation of Unix.gettimeofday
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12949 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-24 11:36:47 +00:00
96ad2a7612
PR#5563: harden Unix.select against file descriptors above FD_SETSIZE
...
(Picked from r12947 in 4.00 branch)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-24 11:26:54 +00:00
9d3c2b0920
PR#4019: better documentation of Str.matched_string
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-11 14:45:44 +00:00
9da13c4b88
add copyright header and fix formatting
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12917 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10 10:31:57 +00:00
cef7a780a8
clarify documentation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12916 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-10 10:31:01 +00:00
35185d610b
merge version/4.00 at revision 12866
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-21 07:10:35 +00:00
7ec7f16f55
fix module order
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12868 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-21 04:45:02 +00:00
4e320be745
remove spurious whitespace at EOF
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-09 06:05:28 +00:00
b1e5cde2e7
PR#5715 (partial?) disabling shared libraries does not work under cygwin
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12841 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-08 14:36:51 +00:00
6be05dae42
add some missing copyright headers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-02 08:17:59 +00:00
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
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
7bb9ab2e0c
PR#5676: add ipv6 support on Windows.
...
Patch by Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12710 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-13 12:15:57 +00:00
43c7d1b51c
fix PR#5674: move Texp_poly and Texp_newtype to exp_extra
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-10 08:25:58 +00:00
81ca9d7223
PR#5636: issue with pthread_atfork in glibc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12586 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-06-08 11:36:35 +00:00
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
dd6d8257c0
Enabled 'unused rec flag' warning.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 12:33:51 +00:00
058035059c
Typo.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 12:15:34 +00:00
a0a14c08fa
Enable and fix more warnings.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 11:47:28 +00:00
05c973e6ed
Compile with warning 33, and remove unused opens.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29 11:10:03 +00:00
1ecb1f471c
#5586 : Increase UNIX_BUFFER_SIZE.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12487 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-28 11:29:47 +00:00
8b5b5f9df5
Makefile: typo in installoptopt entry
...
otherlibs/labltk: toplevellib.cma is no more, use the new compilerlibs/*.cma stuff instead
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-21 13:23:08 +00:00
ad6a2252ff
Remove the 'dispose' functions from Bigarray.
...
(Partial revert of commit 12327, keeping the other good bits.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-06 08:23:16 +00:00
b2166e33f5
- Hashtbl:
...
. Added optional "random" parameter to Hashtbl.create to randomize
collision patterns and improve security (PR#5572, CVE-2012-0839)
. Added "randomize" function and "R" parameter to OCAMLRUNPARAM
to turn randomization on by default (PR#5572, CVE-2012-0839)
- Filename: on-demand (lazy) initialization of the PRNG used by "temp_file".
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12384 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-19 13:17:40 +00:00
64dd0e06fa
PR#5582: bad dependency on /opt/local/include/X11
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12382 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-19 13:01:21 +00:00
2330a3b30f
PR#3571: in Bigarrays, call msync() before unmapping to commit changes
...
PR#5463: Bigarray.*.map_file fail if empty array is requested
Bigarray: added "release" functions that free memory and file mappings
just like GC finalization does eventually, but does it immediately.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-09 10:23:50 +00:00
0d2e9941eb
PR#5295: OS threads: problem with caml_c_thread_unregister()
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12325 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-08 17:12:46 +00:00
72ae789dc6
PR#5543: in Bigarray.map_file, try to avoid using lseek() when growing file
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-04 12:12:02 +00:00
a8511c74b5
PR#5516 continued: it seems that some compilers define __GNUC__ yet don't implement flexible arrays as a GCC extension, so use flex arrays iff C99.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12312 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-04-03 13:50:09 +00:00
22e3b040d4
PR#5310: Ratio.create_ratio/create_normalized_ratio have misleading names
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-31 22:15:34 +00:00
ce1e74f0bd
PR#5215 continued: as unique ident for dynlinked bytecode units, use MD5 of .cmo/.cma file combined with name of unit within the .cma. (Push of commit 12253.)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-26 17:44:47 +00:00
57c5658f54
Follow-up on PR#5553
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-23 02:35:00 +00:00
d9e441b8a1
Make sure we include misc.h using double-quotes so that when the files are put in /usr/lib/ocaml, the includes work fine. Fixes PR#5499
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-22 08:39:43 +00:00
4e5eb94ed9
PR#5215: Marshalling of closures now supported if the closures come from dynamically-loaded code.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12229 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-13 14:50:41 +00:00
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
ab918e2078
Detect unused exception declarations ( #5524 ).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-06 19:47:07 +00:00
f0b95f3349
Keep locations for exception declaration. This gives better error messages and paves the way to #5524 .
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-06 19:03:17 +00:00
a1b1a068f8
PR#5516: in Bigarray C stubs, use C99 / GCC flexible array types if possible
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12188 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-27 17:46:05 +00:00
5b14388ad0
refactoring the "read n bytes from a channel into a new string" idiom
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-23 19:54:44 +00:00
b5dbeb6611
PR#5511: in Bigarray.reshape, unwarranted limitation on new array dimensions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-21 17:53:49 +00:00
5899af063c
PR#5504: Fix. Patch proposed by Stephane Glondu, thanks.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12170 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-19 17:30:02 +00:00
d4522f062c
Change "Ocaml" to "OCaml" everywhere
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-13 17:48:41 +00:00
e7f5b858c2
More renaming to OCaml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-10 16:15:24 +00:00
604f1de662
add missing link in doc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12140 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-07 16:41:02 +00:00
b2e4161d38
set svn:keywords property
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12131 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-07 11:05:56 +00:00
d0f04172e7
Fix various compiler warnings in labltk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12126 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-05 09:20:46 +00:00
824179a92f
Partial fix for #5398 : at least avoid an out-of-bounds access.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12104 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-30 16:07:18 +00:00
438da6350a
Fix #5383 : Cannot build OCaml 3.12.1 Win32/MSVC
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12100 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-30 14:51:54 +00:00
1074ef6252
cut long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-23 14:14:28 +00:00
477b2dd743
propagate path-expansion environment everywhere
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-23 07:59:45 +00:00
db66874712
Attempt at shortening paths on printing
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12064 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-22 01:47:52 +00:00
fc3bfa68d5
Merge branch 'pending'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18 10:04:15 +00:00
bb96c0b92c
Fix #5421 : do not leak fds in various open_proc* functions.
...
Patch by Till Varoquaux <till@janestreet.com>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12038 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18 09:28:05 +00:00
ff476d8431
Merge the unused_declarations branch.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12035 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18 09:15:27 +00:00
c45bcb892d
Synchronize with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18 08:31:11 +00:00
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
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
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
33eefe4874
Remove unused constructors in the AST: Cf_let, Pcf_let.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11968 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-28 13:27:07 +00:00
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
ac0aa0778d
PR#5179: giant steps towards a Mingw64 port.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11927 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21 16:31:01 +00:00
35e8dcc6e3
Fix #5382 : EOPNOTSUPP and ENOTSUPP different on exotic platforms (Solaris, GNU/Hurd).
...
Patch by Samuel Thibault <sthibault@debian.org>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11915 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21 13:08:48 +00:00
93d66f94fa
Fix #5434 : implement times in win32unix (partially).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11912 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21 09:43:13 +00:00
9d17272024
Create a branch to experiment with better warnings on unused declarations.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21 09:39:30 +00:00
d0667f4e52
Cosmetic: old-style K&R function -> new style prototyped function
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20 12:37:52 +00:00
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
4af724cf54
Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS.
...
Part 4: cleaning up some more references & specific code for these archs.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11886 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-18 09:52:52 +00:00
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
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
fcf6dcf3cb
Doc.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13 17:59:10 +00:00
14b778db90
#5420 : fix.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11305 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13 16:21:10 +00:00
84dd8601e0
#5420 : adding a O_SHARE_DELETE flag to Unix.openfile, for enabling FILE_SHARE_DELETE mode under Windows (ignored under Unix).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13 16:18:13 +00:00
d187828b8c
PR#5306: comparing values of type Thread.t
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11303 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13 15:21:14 +00:00
b1f8048f39
merge branches/located_errors
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-21 03:26:35 +00:00
ce4946768c
PR#5328: Windows, Unix.select and non-blocking sockets (untested patch)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-15 09:02:22 +00:00
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
9ef7e04cf3
Jonathan's updates to the Windows/Mingw port
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11197 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-15 13:38:45 +00:00
4a97d270ad
PR#5335: Unix.environment segfaults after a call to clearenv
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11176 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-05 09:25:26 +00:00
d9eb848d86
PR#5238, PR#5277: Sys_error when getting error location
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-04 14:59:13 +00:00
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
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
db1e7c7e23
file "modules" is not auto-generated
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11155 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 11:52:13 +00:00
6712010b6b
file "modules" is not auto-generated
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11154 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 11:51:01 +00:00
9286fd5a70
file "modules" is not auto-generated
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27 11:50:08 +00:00
952c0170ee
PR#5290, continued: make sure hash values of nats are the same
...
on 32-bit and 64-bit platforms.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11144 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-23 10:24:58 +00:00
f90ddc8c22
PR#5290: added hash functions for channels, nats, mutexes, conditions.
...
Also: added "custom_compare_ext_default" to all struct custom_operations:
default initialization to 0 did what we want, but explicit initialization
better documents the C sources.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11143 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-23 10:07:25 +00:00
90664f4ea1
uniform .ignore system
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11133 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20 15:37:36 +00:00
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
e1fda3d23a
New module dependency.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-20 21:44:27 +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
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
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
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
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
3ec9bc692b
complete_constrs in parmatch.ml now works with gadts. Reverted changes to the syntax tree which are no longer needed.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-16 06:01:59 +00:00
1680403fb9
clean up
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-10 06:01:27 +00:00
ad30b17be1
updated references to Tpat_record to accomodate the extra field
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-08 09:14:57 +00:00
f368f4e0d5
allow variance in GADTs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-08 06:59:46 +00:00
c2777a43d0
merged with trunk. specifically, merged with implicit unpack patch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-25 08:19:48 +00:00
ce605c042a
merge branches/implicit-unpack + update camlp4
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21 23:59:33 +00:00
87898cb3e9
internally, we can now refer to constructors with the help of their type, thus avoiding shadowing
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21 08:17:17 +00:00
304dba8a0f
removed Type_variant, fixed bug in GADT exhaustive check
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21 04:02:02 +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
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
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
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
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
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
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
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
1cb53ee05a
Create a branch to experiment with improving locations of errors.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/located_errors@10453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21 13:21:14 +00:00
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
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
6c55d7fea2
PR#4632: install socketaddr.h header in lib/caml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-20 09:40:41 +00:00
dc7affa4b7
fix Windows MSVC build + ignores
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 14:52:34 +00:00
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
90d215424c
removal of tkanim
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 11:37:13 +00:00
00ca063f87
missing change from last branch merge !?
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 11:33:23 +00:00
2adec7d747
PR#5033: tools/objinfo made more general.
...
tools/dumpapprox removed, now subsumed by tools/objinfo.
Introduced asmcomp/cmx_format.mli and used consistently in asmcomp,
tools/objinfo, and otherlibs/dynlink
Note: ocamlbuild -based build procedure not updated yet.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10424 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19 11:29:38 +00:00
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
0d72001f2a
Merge branch 'ocaml-git/buildsys' (early part) into trunk
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11 13:34:20 +00:00
ef925ce233
comment out useless code in Str
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-05 14:36:41 +00:00
e09a12388f
New -help-warnings command-line option.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10369 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-04 18:44:38 +00:00
c7ca3843a9
Fix 'make clean' under Windows.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-30 13:27:35 +00:00
30878cea6c
PR#5017: shift_right_big_int on negative numbers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-29 13:53:01 +00:00
93508995e0
PR#4676: wrong constant in Win64 IL32LLP64 model
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-28 11:59:09 +00:00
09ba69134f
- Refactoring of otherlibs/systhreads
...
- PR#4702: added C functions to register threads not created by Caml
- PR#5013: wrong implementation of condition variables under Win32
- PR#4979: wrong error code handling under Win32
- Added standard include <caml/threads.h>
- Added "stack_size" field in GC statistics.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-27 07:55:08 +00:00
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
674da0324d
PR#4541 make debugger compatible with fork()
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10287 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-20 15:47:15 +00:00
ee36e1d1c5
merge branches/override
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-08 03:58:41 +00:00
1a0d254dbe
PR #5018 : Wrong exception raised by Dynlink.loadfile.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10234 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-06 20:57:11 +00:00
5ed9193051
macosx tk says page
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10231 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-04 02:09:57 +00:00
f5fc4d5207
fix for tk86 and removal of tkanim
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-03 06:43:51 +00:00
ab550592ef
Adding "module type of <module-expr>" in the class of <module-type>.
...
Merge of branches/moduletypeof -r 9636:10226
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-02 12:53:33 +00:00
cf088abef1
release runtime lock for lseek (mantis 4801)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-01 07:36:49 +00:00
c53dc927d0
test directory was removed -- portable version
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9623 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-02-09 14:17:20 +00:00
885eb6487b
test directory was removed
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9622 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-02-09 14:13:35 +00:00
b50f60e138
Tests moved to 'lib-num*'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-29 13:01:31 +00:00
2c54e3a4fa
Tests moved to 'lib-systhreads'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9595 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-28 15:43:45 +00:00
45b70408a7
Tests moved to 'lib-threads'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9594 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-28 15:43:03 +00:00
b5fbdc43c2
Tests moved to 'lib-threads'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9593 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-28 15:42:08 +00:00
15cc229da7
fix mysteriously broken dependencies
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9560 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-25 11:55:04 +00:00
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
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
02de54d9ee
bug with $
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-19 13:12:47 +00:00
Damien Doligez
Alain Frisch
Xavier Leroy
Jacques Garrigue
Jonathan Protzenko
Fabrice Le Fessant
Wojciech Meyer
Benedikt Meurer
Xavier Clerc
Pierre Weis
Jacques Le Normand
Nicolas Pouillard
Maxence Guesdon
Jun FURUSE / 古瀬 淳
Mark Shinwell