summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2014-04-04Distinguish explicitly representation of regular records and inlined records ...Alain Frisch
2014-04-04Support exception rebinding.Alain Frisch
2014-04-04Get rid of 'as' clause in inline records. Support re-export of sum types wit...Alain Frisch
2014-04-04Fix PR#6348Jacques Garrigue
2014-04-04Fix PR#6347Jacques Garrigue
2014-04-03ignore generated file ocamlmklibconfig.mlDamien Doligez
2014-04-03Fix PR#6352Jacques Garrigue
2014-04-03comment 9644 of PR#6000: principality check for coercion to formatJacques Garrigue
2014-04-02Revert bad change included in previous commit, which broke tests/typing-modul...Alain Frisch
2014-04-02Get rid of ocamlcomp.sh. The next step is to share all those common declarat...Alain Frisch
2014-04-02Fix PR#6359Luc Maranget
2014-04-01Allow to give an explicit name (and specify parameters) for inlined records.Alain Frisch
2014-04-01Always keep the original type parameters (with ordering) for synthesized reco...Alain Frisch
2014-04-01Remove debug.Alain Frisch
2014-04-01Switch to t.A syntax for synthesized types. Allow the user to refer to such ...Alain Frisch
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-31stop ignoring ocamlmklib.ml, it is not a generated file any moreDamien Doligez
2014-03-31Adapt ocamlopt.Alain Frisch
2014-03-31Revert "PR#6270: remove need for -I directives to ocamldebug in common case (...Gabriel Scherer
2014-03-31Cleanup (use attributes to pass information).Alain Frisch
2014-03-31Encode record arguments into extra record declarations.Alain Frisch
2014-03-31PR#6270: remove need for -I directives to ocamldebug in common case (patch by...Xavier Clerc
2014-03-28Type-check constructor creation with a record argument.Alain Frisch
2014-03-28Some preparation for record arguments.Alain Frisch
2014-03-28Create another branch to work on #5528Alain Frisch
2014-03-28Pprintast: factorize handling of infix/prefix bindersGabriel Scherer
2014-03-27ignore .cmt and .cmti filesDamien Doligez
2014-03-27fix msvc64 port by removing unused open Misc (untested, esp. on other Windows...Damien Doligez
2014-03-27In cmmgen, use previously defined 'get_size' function to emitLuc Maranget
2014-03-26Compile with the same warning configuration under Windows.Alain Frisch
2014-03-26#6352: add a warning on implicit removal of optional arguments.Alain Frisch
2014-03-26Get rid of some uses of implicit removal of optional arguments.Alain Frisch
2014-03-26Get rid of some uses of implicit removal of optional arguments.Alain Frisch
2014-03-26Get rid of some uses of implicit removal of optional arguments.Alain Frisch
2014-03-26More robust syntax (in case we add e.g. some 'open' statement before).Alain Frisch
2014-03-26Also compile with -bin-annot under Windows.Alain Frisch
2014-03-26Remove spurious character from error message.Alain Frisch
2014-03-25commit mergeinfo to keep svn happyDamien Doligez
2014-03-25skip debugger test when dynlink is not availableDamien Doligez
2014-03-25PR#6351: minor arm64 fix (patch by Richard W.M. Jones)Gabriel Scherer
2014-03-25#6260: fix unecessary boxing of let-bound floats/ints.Alain Frisch
2014-03-24Ensure that record patterns don't miss any field in Ast_mapper (use of option...Alain Frisch
2014-03-23Optimize Env.find_module further for PR#6350Jacques Garrigue
2014-03-22Fix PR#6350Jacques Garrigue
2014-03-21[minor] add strmatch to Makefile.ntGabriel Scherer
2014-03-21OupsLuc Maranget
2014-03-21#PR6269 Optimized string matchingLuc Maranget
2014-03-21Factor out the grammar productions for functor parametersGabriel Scherer
2014-03-20Pervasives: define [min_int] and [max_int] without assuming that integers are...Gabriel Scherer