summaryrefslogtreecommitdiffstats
path: root/typing/mtype.ml
AgeCommit message (Expand)Author
2014-12-22exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue
2014-12-19Fix PR#6726: Access to the wrong field of aliased moduleJacques 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-01Fix PR#6465: allow incremental weakening of module aliasesJacques Garrigue
2014-09-04Sync with trunk.Alain Frisch
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez
2014-08-07Sync with trunk. Rebinding of inlined extension constructors with free variab...Alain Frisch
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2014-04-22Synchronize with trunk.Alain Frisch
2014-04-22Consider that exceptions with a record argument create an implicit type.Alain Frisch
2014-04-16Fix PR#6371Jacques Garrigue
2014-04-14Synchronize with trunk.Alain Frisch
2014-04-12fix some of the whitespace problems in the sourceDamien Doligez
2014-04-09Starting support for exceptions with record arguments.Alain Frisch
2014-03-31Rvert parts of the original commit which are not relevant with the encoding a...Alain Frisch
2014-03-28Some preparation for record arguments.Alain Frisch
2014-03-10Fix PR#6307Jacques Garrigue
2014-01-30Add location to module and module type definitions. Improves #6311.Alain Frisch
2014-01-10Merge module-alias branch (cf. PR#6063)Jacques Garrigue
2013-12-17merge generative functorsJacques Garrigue
2013-11-11use new scrape_alias for Env tooJacques Garrigue
2013-10-24merge trunk:14244 to fix bootstrapJacques Garrigue
2013-10-01Keep attributes with module type declarations. Warning on reference to deprec...Alain Frisch
2013-09-30passes the testsuite!Jacques Garrigue
2013-09-30Merge trunk at revision 14200. Now everything works except private typesJacques Garrigue
2013-09-30do not alias functor parameters + some problems with coercions not fixed yetJacques Garrigue
2013-09-29Support module aliases.Jacques 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-26Keep attributes on value declarations in .cmi files (but clear all the locati...Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-03-06Keep locations for exception declaration. This gives better error messages an...Alain Frisch
2012-01-10fix PR#5469Jacques Garrigue
2011-10-21merge branches/located_errorsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-05-21Keep location on value declarations.Alain Frisch
2010-01-22clean up spaces and tabsDamien Doligez
2009-07-20merge changes from ocaml3111rc0 to ocaml3111Damien Doligez
2009-07-15Added option -no-app-funct to turn off applicative functorsXavier Leroy
2009-05-19use TypeHash for nondep_type, and add env to nondep_mtyJacques Garrigue
2007-10-19strengthen private abbreviations tooJacques Garrigue
2007-10-18corrige rangees privees apres introduction abbreviations privees par PWJacques Garrigue
2005-09-28must strengthen private row typesJacques Garrigue
2004-06-12Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)Xavier Leroy
2004-04-09Pour l'option -pack, ajout possibilite de donner des .cmi sur la ligne de com...Xavier Leroy
2004-02-14Ajout alpha-conversion manquante dans la construction 'SIG with ...' (PR#1968)Xavier Leroy
2003-07-01Detection des abreviations de types mal formees introduites par 'module rec'Xavier Leroy
2003-06-19Merge branch with recursive modulesXavier Leroy
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-02-08 20:39:26 +0000