summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2014-10-13#6609: export Toploop.phrase.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10Drop support for self-recursive reference to inlined record types. Improve ↵Alain Frisch
error message. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10Remove support for record types in the printer (will be printed without the ↵Alain Frisch
! if they ever appear in error messages). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10Remove syntax for inlined record types.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15525 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10Stop keeping manifest types on inlined records; always use free variables ↵Alain Frisch
(ordering doesn't matter); re-enable GADT constructors. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10Fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10Rename allow_recarg to recarg.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10Better errors.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15519 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10allow_recarg is now interpreted in a strict way for Pexp_ident expression ↵Alain Frisch
(if true, the variable must be bound to a record argument). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15518 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10Be more liberal for the pattern under a constructor with an inlined ↵Alain Frisch
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-10Commit a variant of the patch from Jacques, avoiding the need for a specific ↵Alain Frisch
val_kind. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record5@15516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-10Guess what? There is a new branch to experiment with inline records. Now, ↵Alain Frisch
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-09Undo previous commit.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15514 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Simple, but very effective optimization.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Update dependencies.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15511 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Update dependencies.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Factorize code to print constructors.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Cleanup.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15506 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Fix.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15505 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Better error message.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15504 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Text.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Record arguments under extension constructors can be mutable.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-09Move constructor and label description records to the bottom of Types. ↵Alain Frisch
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-09Add 0x400 flag to OCAMLRUNPARAM=v. It displays the total number of words ↵Alain Frisch
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-08minor: correct error locations in emit.mlpGabriel Scherer
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-07Improve error message.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07Reduce diff with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07Reduce diff with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07Stop propagating manifest on inlined record types created by rebinding of ↵Alain Frisch
extension constructors. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-07Simplify removal of duplicated values in signatures, reusing the same code ↵Alain Frisch
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-07Disallow completely inline records on GADT constructors.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-06Fix for MacOSX.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-06Missing tab in front of section directives.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-06Fix .section directives for MacOSX.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/abstract_intel_emit@15478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-06followup to PR#6590: disable optimization -GyDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-04Document -ppx option.Gabriel Scherer
From: Peter Zotov <whitequark@whitequark.org> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15475 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03tell ocamlbuild about ocamldep's support of -openGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15469 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03ocamldep support for -openGabriel Scherer
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-03minor refactoring in ocamldep.mlGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15467 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03minor configure changesGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15466 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03sync configure with the bdf.h objinfo changeGabriel Scherer
(Patch by Christopher Zimmermann) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03PR#6181 and PR#6590Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03Sync with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record4@15460 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-10-03Factorize.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15459 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02