e51284dd06
PR#5933: don't generate _app shortcuts above fixed arity to avoid quadratic blowups (patch by Valentin Gatien-Baron)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19 07:16:46 +00:00
3455ffd361
Allow parentheses around the typexpr in "type t = [> typexpr ]".
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18 20:17:14 +00:00
d78a0b0bc3
Do not let indentation grow without bound when pretty-printing the parse tree.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13407 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18 20:15:21 +00:00
7b31f54095
It is no longer necessary to keep pre-processed files in case of errors
...
(see commits 3817 and 5224,5302,5816)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18 20:13:53 +00:00
01c5a492a4
ignore generated files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18 14:10:42 +00:00
e2b99fcc17
do not attempt to check typography
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13404 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18 14:09:59 +00:00
9e5de6fb02
update some programs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13403 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-18 14:09:24 +00:00
0b2eaffff3
PR#5954 fix 'defface' use in emacs/caml-help.el (patched by 'zakkak')
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13402 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-17 17:17:21 +00:00
839741049c
simplified and extended
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-17 15:47:09 +00:00
c2691b0885
ignore generated files
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-17 15:46:38 +00:00
03d5a3378a
typos in comment
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-17 15:46:15 +00:00
2af9e254d1
typo in comment
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13398 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-17 15:40:57 +00:00
389e3a789b
Fix PR#5948
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-13 04:59:10 +00:00
32de864a67
improve Ambiguous_name warning
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-12 14:56:15 +00:00
725da3dcc9
user-exposed abstract type for raw backtraces in Printexc.ml (original patch from Jacques-Henri Jourdan)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-11 19:04:12 +00:00
c63f9e0957
fix a few problems with whitespace and over-long lines
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13393 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-09 22:38:52 +00:00
fb36548704
typo adjustments
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-09 00:33:21 +00:00
4b870ecd0f
add support for 4.00.2
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13386 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-09 00:32:46 +00:00
dc25c4a7d6
add a few more cases
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13385 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-09 00:31:47 +00:00
a81a5b038c
Labtk now supports 8.6.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27 19:31:47 +00:00
c2b3b25823
Imported from caml_examples.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27 19:27:45 +00:00
fe12fa4993
Imported from caml_examples.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13325 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27 19:27:19 +00:00
982cce6721
Adding taquin (from caml_examples) to the examples.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27 19:23:39 +00:00
f3ffe32385
Some rewriting.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13323 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27 19:20:54 +00:00
3755a158de
Refactoring the Makefile for binary compilation.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27 18:40:50 +00:00
87fd19501d
Get rid of spurious warnings for unused variables.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27 17:45:59 +00:00
8b480cb9e2
fix a few of the warnings given by newer versions of gcc
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26 12:47:13 +00:00
d3d363a1a6
typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26 12:46:28 +00:00
90dd916144
typo
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13318 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26 12:46:09 +00:00
5cab09944e
add a few more cases
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13317 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26 12:45:45 +00:00
5f859e648a
update to latest version of a few programs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26 12:45:32 +00:00
6d34f34e59
PR#5928: Missing space between words in manual page for ocamlmktop
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13315 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-26 10:36:33 +00:00
dc9834c4a4
misc: replace stat_(alloc|free|resize) occurences with caml_stat_(...).
...
byterun/compatibility.h defines:
#define stat_alloc caml_stat_alloc
#define stat_free caml_stat_free
#define stat_resize caml_stat_resize
Having the "caml_" prefix seems cleaner to me, it also avoids some
issues for cross-compilation but I don't remember well which ones.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-25 03:01:31 +00:00
fb17e50db5
byterun/win32.c: use < > to #include flexdll.h instead of "".
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13313 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-25 03:01:28 +00:00
1b9b819f39
byterun/Makefile: use $(MKLIB) instead of ar + $(RANLIB).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13312 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-25 03:01:27 +00:00
cc09d10bf9
yacc: "ocamlyacc$(EXE)" rule produced "ocamlyacc" (no trailing $(EXE)).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-25 03:01:26 +00:00
243fc1ce10
fix Changes entry
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13310 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-24 10:14:33 +00:00
bca20db060
fix PR#5930: ocamldep leaks temporary preprocessing files
...
Ah, if we had let-try...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-24 09:11:29 +00:00
23994ac6de
pprintast.ml: fix a bug for printing private types and tune some identations
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13308 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-22 04:04:16 +00:00
4d7a8f8bd3
Add some test cases for syntactic constructs that are never used.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13300 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-19 10:23:37 +00:00
43d02c2020
PR#5835: the fix was changed to be compatible with existing programs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-19 10:17:56 +00:00
1f5882e53d
Replace error by warning for PR#5835
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13298 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-19 03:12:36 +00:00
c76b791ca4
Add warning 42 for disambiguated labels and constructors (compatibility with old versions)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-19 02:45:09 +00:00
8364a09153
PR#5461: fix warnings 31 in camlp4 compilation
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13296 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-18 12:09:06 +00:00
0a9bf33ba3
test case from PR5918
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13293 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-13 01:39:48 +00:00
4a6a0c199d
Normalization.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-12 08:14:49 +00:00
72cf9f780e
Tabify.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13291 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-12 08:14:24 +00:00
dc34e6d938
add -short-paths flag for printing shorter types when using modules
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-09 08:42:11 +00:00
b54d688d1a
Typo.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-08 06:04:36 +00:00
40ee2b4e6f
small fixes on GADT ambiguity levels
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-01 10:20:21 +00:00
Gabriel Scherer
Damien Doligez
Jacques Garrigue
Pierre Weis
Wojciech Meyer
Hongbo Zhang
Fabrice Le Fessant
Alain Frisch