summaryrefslogtreecommitdiff
path: root/typing/envaux.ml
Commit message (Expand)AuthorAgeFilesLines
* Expose a more explicit 'copy types' operation in Env (with a representation i...alainfrisch2017-03-241-0/+2
* Restore proper error message when opening a functor.alainfrisch2017-03-241-1/+4
* Implement type-checking of open by copying 'components' instead of recreating...alainfrisch2017-03-241-15/+1
* Detect unused module declarations.alainfrisch2016-07-181-2/+3
* keep local constraints in Env.summaryJacques Garrigue2016-05-111-0/+6
* Update headers for the new license.Damien Doligez2016-02-181-12/+15
* merge changes of version/4.02 from r15121 to r15155Damien Doligez2014-08-291-1/+1
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-3/+3
* Merge trunk at revision 14200. Now everything works except private typesJacques Garrigue2013-09-301-6/+8
|\
| * Keep attributes on module declarations.Alain Frisch2013-09-271-4/+6
* | do not alias functor parameters + some problems with coercions not fixed yetJacques Garrigue2013-09-301-0/+4
|/
* Do not track unused type declarations created by 'include'.Alain Frisch2013-09-171-4/+6
* Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez2013-09-041-7/+14
* #5980: explicit way to silence the new warning (open! X).Alain Frisch2013-05-161-1/+1
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* Remove dependency from typing/envaux.ml to bytecomp/instruct.mlFabrice Le Fessant2012-07-301-5/+0
* Fix problem of size of bin-annot filesFabrice Le Fessant2012-07-121-0/+87