summaryrefslogtreecommitdiffstats
path: root/typing/envaux.ml
AgeCommit message (Expand)Author
2014-08-29merge changes of version/4.02 from r15121 to r15155Damien Doligez
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques 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-27Keep attributes on module declarations.Alain Frisch
2013-09-17Do not track unused type declarations created by 'include'.Alain Frisch
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
2013-05-16#5980: explicit way to silence the new warning (open! X).Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-07-30Remove dependency from typing/envaux.ml to bytecomp/instruct.mlFabrice Le Fessant
2012-07-12Fix problem of size of bin-annot filesFabrice Le Fessant