summaryrefslogtreecommitdiff
path: root/typing/envaux.ml
Commit message (Expand)AuthorAgeFilesLines
* New implementation of Env.make_copy_of_typessimplify_duplicate_ident_optimAlain Frisch2019-06-281-2/+2
* envaux: keep the scopeThomas Refis2019-04-161-3/+3
* Refactor load path management and initial environmentJeremie Dimino2019-01-301-3/+5
* Remove positions from pathsLeo White2018-11-211-4/+5
* Envaux.env_from_summary: guard against failure to find moduleNicolás Ojeda Bär2018-08-211-0/+1
* Just some tbl things. (#1699)Gabriel Radanne2018-07-231-1/+1
* Env.{make_copy_of_types,do_copy_types}: add some abstraction and explicit som...Thomas Refis2018-04-251-1/+1
* split copy_types in twoThomas Refis2018-04-251-1/+2
* Allow compilation units to shadow sub-modules of Pervasives (#1513)Jérémie Dimino2018-02-021-2/+3
* 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