summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2014-11-10Fix PR#6650: Cty_constr not handled correctly by SubstJacques Garrigue
2014-11-10PR#6648: show_module should indicate its elision (add Osig_ellipsis to outcom...Jacques Garrigue
2014-11-07Oups.Luc Maranget
2014-11-07Solve PR#6646, ie avoid introducing huge jump summariesLuc Maranget
2014-10-29fix a bug where the .annot files were truncated because of a missing "close"Damien Doligez
2014-10-29PR#6628: Configure script rejects legitimate argumentsDamien Doligez
2014-10-20PR#6619: update documentation of Printexc.set_uncaught_exception_handlerJérémie Dimino
2014-10-17Fix PR#6615: inconsistent printing and parsing of inline recordsJacques Garrigue
2014-10-15merge branch 4.02 from release 4.02.0 to release 4.02.1Damien Doligez
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
2014-10-13Reflecting commit 15498 on version/4.02:Xavier Leroy
2014-10-13Reflecting commit 15497 on version/4.02:Xavier Leroy
2014-10-13#6609: export Toploop.phrase.Alain Frisch
2014-10-09Undo previous commit.Alain Frisch
2014-10-09Simple, but very effective optimization.Alain Frisch
2014-10-09Sync with trunk.Alain Frisch
2014-10-09Update dependencies.Alain Frisch
2014-10-09Update dependencies.Alain Frisch
2014-10-09Sync with trunk.Alain Frisch
2014-10-09Factorize code to print constructors.Alain Frisch
2014-10-09Cleanup.Alain Frisch
2014-10-09Cleanup.Alain Frisch
2014-10-09Fix.Alain Frisch
2014-10-09Better error message.Alain Frisch
2014-10-09Text.Alain Frisch
2014-10-09Record arguments under extension constructors can be mutable.Alain Frisch
2014-10-09Sync with trunk.Alain Frisch
2014-10-09Move constructor and label description records to the bottom of Types. Conce...Alain Frisch
2014-10-09Add 0x400 flag to OCAMLRUNPARAM=v. It displays the total number of words all...Alain Frisch
2014-10-08minor: correct error locations in emit.mlpGabriel Scherer
2014-10-07Improve error message.Alain Frisch
2014-10-07Reduce diff with trunk.Alain Frisch
2014-10-07Reduce diff with trunk.Alain Frisch
2014-10-07Stop propagating manifest on inlined record types created by rebinding of ext...Alain Frisch
2014-10-07Sync with trunk.Alain Frisch
2014-10-07Simplify removal of duplicated values in signatures, reusing the same code as...Alain Frisch
2014-10-07Disallow completely inline records on GADT constructors.Alain Frisch
2014-10-06followup to PR#6590: disable optimization -GyDamien Doligez
2014-10-04Document -ppx option.Gabriel Scherer
2014-10-03tell ocamlbuild about ocamldep's support of -openGabriel Scherer
2014-10-03ocamldep support for -openGabriel Scherer
2014-10-03minor refactoring in ocamldep.mlGabriel Scherer
2014-10-03minor configure changesGabriel Scherer
2014-10-03sync configure with the bdf.h objinfo changeGabriel Scherer
2014-10-03PR#6181 and PR#6590Damien Doligez
2014-10-03Sync with trunk.Alain Frisch
2014-10-03Factorize.Alain Frisch
2014-10-03Sync with trunk.Alain Frisch
2014-10-03Cleanup.Alain Frisch
2014-10-03Sync with trunk.Alain Frisch
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-16 22:41:53 +0000