summaryrefslogtreecommitdiff
path: root/toplevel/opttoploop.ml
Commit message (Expand)AuthorAgeFilesLines
* ocamlnatThomas Refis2018-11-261-6/+6
* Remove positions from pathsLeo White2018-11-211-13/+26
* Make (nat)dynlink soundMark Shinwell2018-11-121-1/+0
* introduce local substitutions in signaturesThomas Refis2018-11-091-2/+2
* Fix #mod_use raising exception (MPR#7867)Geoff Gole2018-10-271-1/+2
* Deprecate Pervasives (#1605)Jérémie Dimino2018-08-271-2/+2
* Location: significantly rework the code printing errors and warningsArmaël Guéneau2018-08-081-2/+2
* Add locations to toplevel directivesHugo Heuzard2018-08-061-8/+8
* Add option to dump the output of e.g. -dlambda in a file (#1913)sliquister2018-07-271-3/+3
* typemod: allow items coming from includes to be shadowedThomas Refis2018-07-251-2/+2
* refactoring the uses of Clflags.include_dirsValentin Gatien-Baron2018-07-011-3/+9
* PR#6416 et al.: injective mapping between identifiers and printed names (#1120)Florian Angeletti2018-06-261-1/+1
* Fix MPR#7751 (#1657)Jacques Garrigue2018-03-271-1/+1
* Replace uses of Lambda.IdentSet by Ident.SetPierre Chambart2018-01-301-1/+1
* display the output of -dtimings as a hierarchyValentin Gatien-Baron2017-03-071-6/+4
* Actually use simplified lambdaChristoph Höger2016-10-101-2/+2
* Remove dependency on Dynlink in ocamlnatFabrice Le Fessant2016-07-181-1/+1
* Add hooks on some compilation phasesFabrice Le Fessant2016-07-121-1/+4
* Also remove the forced dependency dummy code hack for closurePierre Chambart2016-07-081-2/+3
* Some cleanup to explicit transl_implementation_flambda return valuesPierre Chambart2016-07-081-1/+2
* Allow to force linking modules without generating dummy codePierre Chambart2016-07-081-7/+7
* Improve location handling in the middle end (version for merging) (#666)Mark Shinwell2016-07-061-1/+5
* Merge pull request #575 from shindere/toplever-no-versionDamien Doligez2016-05-101-1/+2
|\
| * Add the -no-version option to the toplevel.Sébastien Hinderer2016-05-091-1/+2
* | Call the '#' sign hash rather than sharp.Sébastien Hinderer2016-05-091-1/+1
|/
* Renaming block_kind -> value_kind.alainfrisch2016-04-121-1/+1
* Fix for ocamlnat.alainfrisch2016-04-121-1/+1
* More warnings when compiling the compiler.alainfrisch2016-03-151-4/+4
* Add Toploop.override_sys_argvJeremie Dimino2016-03-011-0/+7
* Add Misc.protect_refsJeremie Dimino2016-03-011-15/+2
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* clean up whitespace and cut long linesDamien Doligez2016-02-171-9/+9
* Fix ocamlnat build (again)Mark Shinwell2016-02-111-1/+1
* Addressing CR comments for FlambdaMark Shinwell2016-02-101-4/+6
* Enable flambdaPierre Chambart2016-01-281-13/+105
* ocamlnat: fix compilationThomas Refis2015-12-311-2/+4
* make ocamlnat build againJeremie Dimino2015-12-181-71/+105
* whitespace cleanup, cut long lines, add some missing headersDamien Doligez2015-09-111-1/+1
* PR#6081: ocaml should add script's directory to search path, not current dire...Damien Doligez2015-01-161-2/+9
* apply GPR123: fix stupid bug in opttoploopDamien Doligez2014-12-121-1/+1
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-2/+3
* Continue.exception_registrationAlain Frisch2013-09-121-2/+2
* Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez2013-09-041-1/+3
* PR#6071: Add a -noinit option to the toplevel [patch by David Sheets]Gabriel Scherer2013-08-041-1/+2
* Fix ocamlnat compilationFabrice Le Fessant2013-06-121-4/+4
* Add a -dtypedtree flag to all tools (using Printtyped). Also fix ocamlnat.Alain Frisch2012-12-181-16/+15
* #5741: make Pprintast available from the command-line (-dsource).Alain Frisch2012-10-171-0/+2
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* PR#1898: add -nopromptcont option to suppress secondary promptsDamien Doligez2012-01-271-0/+1
* Reverting bad commit.Alain Frisch2012-01-201-1/+1
View Lorry Controller Status