summaryrefslogtreecommitdiffstats
path: root/toplevel
AgeCommit message (Expand)Author
2014-04-01Support for record arguments on exceptions.Alain Frisch
2014-03-31Rvert parts of the original commit which are not relevant with the encoding a...Alain Frisch
2014-03-31Encode record arguments into extra record declarations.Alain Frisch
2014-03-28Some preparation for record arguments.Alain Frisch
2014-01-10Merge module-alias branch (cf. PR#6063)Jacques Garrigue
2013-12-20Add -trans-mod option for transparent module dependencies.Jacques Garrigue
2013-10-23Change the representation of exception slots: instead of being represented as...Alain Frisch
2013-10-18#6203: change representation of exception values created with a constant cons...Alain Frisch
2013-10-04make path normalization safer; now Core not only compiles but worksJacques Garrigue
2013-09-27Keep attributes on module declarations.Alain Frisch
2013-09-27Keep location and attributes in type, label and constructor declarations. De...Alain Frisch
2013-09-12Continue.Alain Frisch
2013-09-12Continue cleanup. driver/errors.ml is no longer needed.Alain Frisch
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
2013-08-28Synchronize with trunk.Alain Frisch
2013-08-04PR#6071: Add a -noinit option to the toplevel [patch by David Sheets]Gabriel Scherer
2013-07-22Synchronize with trunk.Alain Frisch
2013-07-17Fix OCAMLPARAM problemsFabrice Le Fessant
2013-07-16Synchronize with trunk.Alain Frisch
2013-06-12Fix ocamlnat compilationFabrice Le Fessant
2013-06-05Improved implementation of OCAMLPARAMFabrice Le Fessant
2013-04-30Take ambiguity into account when using -short-paths option.Jacques Garrigue
2013-04-11Attributes on Pstr_eval.Alain Frisch
2013-03-08Attributes on expresions (etc) are now stored in the expression record, to fa...Alain Frisch
2013-03-05Parse recursive module as standard modules, and check in the type-checker tha...Alain Frisch
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
2013-01-25#5904: support for -ppx in the toplevel.Alain Frisch
2012-12-18Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.Alain Frisch
2012-11-18PR#5825: Add a primitive to use source file wrapped in the coresponding module.Wojciech Meyer
2012-10-24Stop keeping a Path.t to refer to labels and constructors in the Typedtree AS...Alain Frisch
2012-10-17#5741: make Pprintast available from the command-line (-dsource).Alain Frisch
2012-10-15remove TABsDamien Doligez
2012-10-15remove all $Id keywordsDamien Doligez
2012-10-12PR#5787: Bad behavior of 'Unused ...' warnings in the toplevel.Alain Frisch
2012-08-21merge version/4.00 at revision 12866Jacques Garrigue
2012-08-14PR#5722: toplevel: print full module path only for first record fieldJacques Garrigue
2012-07-30clean up TABs and whitespaceDamien Doligez
2012-07-10PR#5677: do not use "value" as identifier (genprintval.ml)Damien Doligez
2012-07-07PR#5628: Add Topdirs.remove_directory (and directive #remove_directory) to re...Gabriel Scherer
2012-06-01Unused opens.Alain Frisch
2012-06-01#5629: A toplevel 'open' in the REPL does not trigger an unused open warning.Alain Frisch
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-05-29Compile with warning 33, and remove unused opens.Alain Frisch
2012-05-08Catch Not_found when calling Env.find_type + call Includemod.signatures in To...Jacques Garrigue
2012-04-25disable unused warnings for identifiers defined in the toplevelJacques Garrigue
2012-04-19prefer newest name + only update env after printingJacques Garrigue
2012-03-21#5551: avoid repeated lookups for missing cmi files.Alain Frisch
2012-03-06Detect unused exception declarations (#5524).Alain Frisch
2012-02-23refactoring the "read n bytes from a channel into a new string" idiomDamien Doligez
2012-01-27PR#1898: add -nopromptcont option to suppress secondary promptsDamien Doligez