c1f154ea70
New option to force the compilers to show absolute paths in error messages.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20 10:35:43 +00:00
e915c394e7
Fix ocamlnet.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11889 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-20 10:35:11 +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
ca0c236919
PR#4869: rare collisions between assembly labels for code and data
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11887 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-18 10:00:56 +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
5c432bf22c
Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS,
...
part 3: config/Makefile-templ (for reference, because this file is unused)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11884 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-17 12:44:23 +00:00
366da2c721
Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS,
...
part 2: configure.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11883 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-17 11:21:24 +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
4db01f01b6
#5358 : update the Camlp4 ast translator to support constraints on types in sub-modules in package types.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16 21:33:15 +00:00
ac3d343a25
Fix printing of GADTs by Camlp4 with original syntax
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16 20:33:18 +00:00
b50f1df8ff
#5358 : update Camlp4 to support constraints on types in sub-modules in package types.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16 18:00:40 +00:00
e10723e701
Merged proc_nt.ml into proc.ml in directories asmcomp/i386 and asmcomp/amd64.
...
This avoids much code duplication and is a baby step towards Mingw-64 bits
support (PR#5179). (There will be no need to create a third proc_xxx.ml
file for this configuration.)
Also, in amd64/emit_nt.mlp, the ml64 assembler didn't like my label subtractions, so I put the jumptable in code area instead of in data area.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16 17:02:48 +00:00
7ff9d50434
trim module signatures
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-15 10:20:50 +00:00
6cc516aec6
A patch adding primitives to browse types in the toplevel
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-15 07:58:02 +00:00
5b08f5b131
Fix PR#5425 and PR#5427
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-15 02:25:01 +00:00
032648c3d4
#5411 : close input channel when loading a .cmo file fails in the toplevel.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14 11:04:06 +00:00
0b002c286a
Update Changes.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14 10:40:58 +00:00
ece3353035
#5358 : package types allow constraints on typed in sub-modules. Camlp4 compiles but does not support this new feature yet.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14 10:26:15 +00:00
01dceea3cc
remove conflict
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14 08:59:07 +00:00
e461027b89
Boostrap ocamlbuild ( #5338 ).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14 08:24:03 +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
3f23ef49c4
#5411 : New #load_rec primitive for the toplevel (finds and loads .cmo files recursively).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11306 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13 17:50:08 +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
ee31501232
#5338 : sanitize.sh has windows style end-of-lines (mingw).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-13 11:19:35 +00:00
5f8ff42f10
#5179 : the 'official' 32-bit mingw compiler is now the one from the mingw-w64 project, packaged in Cygwin (as supported by flexdll 0.27).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-12 11:38:06 +00:00
e707c41543
Fix for Windows.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-12 09:48:22 +00:00
8427522b52
Add counter-example for PR#5343
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-12 05:49:13 +00:00
6306860e1f
fix PR#5343
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-10 02:51:09 +00:00
8074552780
add test for polymorphic variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-10 02:47:40 +00:00
5b0de6f31c
set ignore
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29 15:56:03 +00:00
8b700ead50
better reporting of wrong version for .cmi files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29 15:55:49 +00:00
456473d87f
better reporting of wrong version for .cmi files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29 15:54:41 +00:00
893a3bed36
cleanup white space and robustify mkuminus
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29 15:49:25 +00:00
07a128aea1
correct fontification for strings and comments
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-29 15:18:41 +00:00
a3aad303be
do not fail when injectivity not proved in Pattern mode, use mcomp
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11286 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-25 02:37:57 +00:00
6c78f42d36
merge branches/gadts-devel
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-11-24 09:02:48 +00:00
99451ca83e
Implementing the precision feature for Scanf.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11255 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28 21:35:32 +00:00
731b2a05dd
Too long lines.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11254 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28 21:26:01 +00:00
67e74dbb61
Get rid of spurious warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11253 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28 21:24:27 +00:00
87946c9536
Get rid of spurious warnings
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11252 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28 21:21:55 +00:00
4e63dbfff3
Module Lnenum has vanished!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11251 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28 21:18:03 +00:00
e2c3a9996d
Typo in doc.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-28 21:16:36 +00:00
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
2a2fcade52
Bug #4380 .
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11243 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-25 13:13:54 +00:00
a1704c30b1
Untabify.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11241 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-25 12:11:06 +00:00
dacd082532
Module Buffer, printf, Format and Scanf are compiled with -w A.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11240 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-25 12:09:01 +00:00
6f0acffe94
Typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11239 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-25 12:07:13 +00:00
Alain Frisch
Xavier Leroy
Jérémie Dimino
Jacques Garrigue
Damien Doligez
Pierre Weis