942264e5ea
Be more liberal for the pattern under a constructor with an inlined argument: allow aliases and or patterns (only reject explicitly the constraint pattern).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10 13:27:23 +00:00
0562da3a45
Commit a variant of the patch from Jacques, avoiding the need for a specific val_kind.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10 13:14:46 +00:00
e91e461906
Guess what? There is a new branch to experiment with inline records. Now, we are going to apply syntactic restriction to make sure inline record types don't escape.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15515 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10 12:47:35 +00:00
d45ab052be
Undo previous commit.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15514 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 17:08:31 +00:00
2fa0068ece
Simple, but very effective optimization.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 16:31:41 +00:00
a1f92fd681
Sync with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 13:01:34 +00:00
f3baf8fe87
Update dependencies.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15511 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 13:01:14 +00:00
568e2a81aa
Update dependencies.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 13:01:01 +00:00
8e519f5280
Sync with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 12:54:36 +00:00
93863aac89
Factorize code to print constructors.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 12:52:56 +00:00
af330ed939
Cleanup.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 12:49:39 +00:00
fbc0356199
Cleanup.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15506 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 12:40:06 +00:00
50e0458bc9
Fix.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15505 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 12:32:47 +00:00
1abf8e25be
Better error message.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15504 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 12:30:32 +00:00
2a4e45404e
Text.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 12:28:56 +00:00
b6565a577d
Record arguments under extension constructors can be mutable.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 12:26:40 +00:00
bf7fc7ddd3
Sync with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 12:15:18 +00:00
f66fe1d196
Move constructor and label description records to the bottom of Types. Conceptually those records don't belong to the type language, and could very well be declared e.g. in Datarepr instead.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 12:09:34 +00:00
33542b3440
Add 0x400 flag to OCAMLRUNPARAM=v. It displays the total number of words allocated by the program just before it exits.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09 11:50:23 +00:00
ccfa5d7fb1
minor: correct error locations in emit.mlp
...
From: Pierre Chambart <pierre.chambart@ocamlpro.com>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-08 06:59:27 +00:00
5d66f846ca
Improve error message.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07 16:08:06 +00:00
0f70276225
Reduce diff with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07 15:56:39 +00:00
c69e6d10d2
Reduce diff with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07 15:56:20 +00:00
7d53335538
Stop propagating manifest on inlined record types created by rebinding of extension constructors.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07 13:57:19 +00:00
44e21907a0
Sync with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07 10:36:14 +00:00
f87ab66c09
Simplify removal of duplicated values in signatures, reusing the same code as for structures (instead of duplicating the logic; also getting rid of a quadratic algorithm).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15488 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07 10:31:15 +00:00
e1eddd80ed
Disallow completely inline records on GADT constructors.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07 07:36:21 +00:00
0af5541604
Fix for MacOSX.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-06 16:18:35 +00:00
63ee3912b3
Missing tab in front of section directives.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-06 15:36:02 +00:00
376ea01574
Fix .section directives for MacOSX.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-06 15:35:01 +00:00
24b06f4f00
followup to PR#6590: disable optimization -Gy
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-06 13:37:46 +00:00
44d272a34c
Document -ppx option.
...
From: Peter Zotov <whitequark@whitequark.org>
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-04 10:39:29 +00:00
f3ebb28d90
tell ocamlbuild about ocamldep's support of -open
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15469 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 20:31:36 +00:00
97cff22e45
ocamldep support for -open
...
Adding an `open_module` function to the Depend interface instead of
directly mutating `free_structure_names` makes the approach robust to
eventual improvement to ocamldep's handling of `open` (for example, in
presence of .cmi for the opened units it could add their submodules
to the set of bound vars). This only goes so far, however, as the
overall imperative style would not nicely support proper local
handling of `let open M in e`.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15468 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 20:31:34 +00:00
dfcccc7999
minor refactoring in ocamldep.ml
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15467 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 20:31:32 +00:00
230e723a85
minor configure changes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 19:26:10 +00:00
d8c147937e
sync configure with the bdf.h objinfo change
...
(Patch by Christopher Zimmermann)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 19:26:08 +00:00
20c278bf45
PR#6181 and PR#6590
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 19:20:36 +00:00
ad32b4dcee
Sync with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15460 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 15:59:45 +00:00
37f4743986
Factorize.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15459 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 15:59:37 +00:00
7b91064895
Typo.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15458 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 15:44:54 +00:00
d8c418d1cc
Sync with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15457 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 15:32:08 +00:00
808d3de148
Cleanup.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15456 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 15:30:39 +00:00
0b2745ed8c
Sync with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 15:26:58 +00:00
02bfe9c1ec
Factorize.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 15:24:50 +00:00
3fbf73839d
Sync with trunk + cleanup.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15452 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 15:17:45 +00:00
7ba65eb8eb
Cleanup.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15451 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 15:16:45 +00:00
3040c714ec
Cleanup.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 13:45:30 +00:00
3c33b616b0
Typo.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15449 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 13:41:21 +00:00
b002e8b22e
Sync with trunk.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15448 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03 13:35:02 +00:00
Alain Frisch
Gabriel Scherer
Damien Doligez