summaryrefslogtreecommitdiffstats
path: root/typing/subst.ml
AgeCommit message (Expand)Author
2014-11-10Fix PR#6650: Cty_constr not handled correctly by SubstJacques Garrigue
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
2014-10-03Cleanup.Alain Frisch
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
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-03-06#5779: improve support for structured constants (better propagation, sharing,...Alain Frisch
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-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-30Merge trunk at revision 14200. Now everything works except private typesJacques Garrigue
2013-09-29Support module aliases.Jacques Garrigue
2013-09-27Keep attributes on module declarations.Alain Frisch
2013-09-27Keep attributes/locs for class type declarations and class declarations in Ty...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
2013-09-17#5817: new compiler flag (-keep-locs) to keep location in cmi files.Alain Frisch
2013-04-16Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to ...Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-07-30clean up TABs and whitespaceDamien Doligez
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-05-29Removal of unnecessary "rec" clauses (to please warning #39).Xavier Clerc
2012-05-25fix PR#5619Jacques Garrigue
2012-03-06Keep locations for exception declaration. This gives better error messages an...Alain Frisch
2011-11-24merge branches/gadts-develJacques Garrigue
2011-10-21Do not keep locations in .cmis!Jacques Garrigue
2011-10-21merge branches/located_errorsJacques Garrigue
2011-09-22Keep type variable namesJacques Garrigue
2011-07-29merge branches/gadtsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-12-03newtypes now have an explicit levelJacques Le Normand
2010-11-08allow variance in GADTsJacques Garrigue
2010-10-21added lookup of constructors by type in env.ml and specification of construct...Jacques Le Normand
2010-10-21removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand
2010-10-19fixed bug in syntax extension. Made unification of variants and objects local...Jacques Le Normand
2010-10-07first implementation of gadt friendly pattern exhaustiveness check. It is inc...Jacques Le Normand
2010-09-13first commitJacques Le Normand
2010-05-21Keep location on value declarations.Alain Frisch
2010-05-21Keep location on type declarations.Alain Frisch
2010-04-20PR#4996: Subst.compose revised; Tbl.fold added.Xavier Leroy
2010-01-22clean up spaces and tabsDamien Doligez
2009-10-26Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.Alain Frisch
2009-05-20merge changes from ocaml3110 to ocaml3111rc0Damien Doligez
2008-01-11merge changes 3.10.0 -> 3.10.1Damien Doligez
2007-10-09It works: compilers and camlp4 are fully bootstrapped. The ast magic number i...Pierre Weis
2006-04-05add virtual instance variablesJacques Garrigue
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-13 03:44:28 +0000