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
3a5b3e6f9b
allow breaking line for locations inside error messages
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-21 07:56:18 +00:00
8f14aadd02
Do not keep locations in .cmis!
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11229 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-21 03:37:50 +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
efa8d8896d
Shorter error messages for modules
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11225 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-20 05:49:38 +00:00
854afdd4e9
Reverted most of previous change re: local labels in AMD64/MacOSX.
...
The wretched MacOSX "ld -shared" (under 10.6 at least) balks on
subtracting two local labels, while it deigns subtracting two
nonlocal labels.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11224 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-15 09:44:07 +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
fc82a408a3
AMD64/MacOSX code generator: make local asm labels really local. (L100 instead of .L100)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-15 08:55:43 +00:00
6d52c986c1
update patch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11216 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-10-05 13:08:21 +00:00
b2846ae5a3
PR#5364: missing thinning on (val m : S) projection
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-30 09:47:21 +00:00
40f0a5e04c
another approach to principality
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-27 22:36:41 +00:00
ac275d142b
fix gadt type variables
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-27 06:37:06 +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
5b34aabb04
patch for better module errors
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-22 08:06:43 +00:00
cf1e36f9a9
update patch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11208 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-22 07:16:52 +00:00
bd3e65ea7a
PR#5349: "replace" uses new key instead of reusing old key.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11205 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-18 09:40:21 +00:00
8e33ab4f2d
Improve backward compatibility for Hashtbl functorial interface:
...
Hashtbl.Make returns a "create" function without an optional seed parameter.
(Which would be ignored anyway.)
Hashtbl.MakeSeeded returns a "create" function with an optional seed parameter.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-18 09:35:27 +00:00
958c48049f
PR#5336: add .type directives in ARM code
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11203 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-18 08:09:34 +00:00
012bc6eb1d
PR#5319: Lswitch compilation for Win64 / MSVC. (Untested.)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-18 07:52:55 +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
37b6033e8a
- Replaced setq by add-to-list in README
...
- Fixed detection of site-lisp in Makefile (to fail when ambiguous).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11190 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-13 12:25:52 +00:00
cb7818e6de
PR#5344: some predifined exceptions need special printing
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11187 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-08 08:34:43 +00:00
6b6e39a3f3
PR#5331: ocamlmktop is not always a shell script
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-07 14:28:24 +00:00
b61ac6c575
PR#5316: objinfo now shows ccopts/ccobjs/force_link when applicable
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11183 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-07 13:57:28 +00:00
735c4f6b67
Follow-up: complete removal of pre-ANSI-C cruft.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-07 12:06:18 +00:00
d2126be2b3
Testing byterun with CompCert and finding minor issues:
...
- int64_format.h: off-by-one error in skipping width modifier
- sys.c: pre-ANSI-C cruft removed (<errno.h> MUST define errno)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-07 12:04:58 +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
Alain Frisch
Jacques Garrigue
Damien Doligez
Pierre Weis
Xavier Leroy
Didier Rémy
Xavier Clerc