26e1ff7138
Merge short-paths into a fresh branch of trunk.
...
Also fix a bit unification and subtyping errors.
You now need the flag -short-path to activate short paths.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-29 14:21:12 +00:00
b7d815c172
PR#5840: improved documentation for 'Unix.lseek'
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13248 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-16 13:00:33 +00:00
9032ddf683
PR#5886: Small changes to compile for Android.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13225 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-13 13:05:37 +00:00
88c6ce7d94
ignore generated file
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-03 16:01:58 +00:00
675d52a678
Prefer forward slashes to backward slashes on NT as it's more portable.
...
Nowdays all the Windows operating systems accept both, more over it's
being passed to our toolchain as a relative path (not UNC), so I see
no harm if we want to be a little bit more portable. The only reason
to not doing so is conventiob and IDEs which might parse Makefile.nt
and not recognise it.
Proposed by Adrien Nader.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13176 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-30 03:12:11 +00:00
6268eacf79
WinError.h -> winerror.h. This improves cross-compilation for Windows.
...
Patch proposed by Adrien Nader.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13175 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-30 03:12:10 +00:00
ff4e0a81f8
#5774 : fix MSVC port.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13141 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-12-19 16:22:30 +00:00
ec7ac9cb3d
PR#5771: Add primitives for reading 2, 4, 8 bytes in strings and bigarrays
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13087 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-09 16:15:29 +00:00
95c20bc6ae
PR#5762: Add primitives for fast access to bigarray dimensions
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-11-06 17:03:34 +00:00
0b37b27356
Stop keeping a Path.t to refer to labels and constructors in the Typedtree AST. This is not used internally and it is not a robust way to identify these objects unambiguously anyway
...
(especially when we will add more powerful disambiguation strategies). The correct way to identify an item is through the pair (type,name), which can be deduced from the
label_description/constructor_description stored in the Typedtree.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-24 12:03:00 +00:00
238814e293
#5770 : Syntax error messages involving unclosed parens are sometimes incorrect.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16 14:04:33 +00:00
59371b9d75
remove TABs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 18:01:26 +00:00
def31744f9
remove all $Id keywords
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-15 17:50:56 +00:00
b676e19acf
PR#5240: register exception printers for Unix.Unix_error and Dynlink.Error
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-10 08:54:42 +00:00
d924f9f924
Refactoring of the computations of the actual size of a struct caml_ba_array
...
(related to PR#5516 and PR#5761).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12993 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-07 06:54:40 +00:00
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
Jacques Garrigue
Xavier Clerc
Benedikt Meurer
Damien Doligez
Wojciech Meyer
Alain Frisch
Fabrice Le Fessant
Xavier Leroy
Jonathan Protzenko