summaryrefslogtreecommitdiff
path: root/typing/env.mli
Commit message (Expand)AuthorAgeFilesLines
* #6583: support for custom #... binary operators (also allowing '#' in trailin...Alain Frisch2015-03-091-0/+2
* Fix PR#6752: scope escaping due to reference inside a moduleJacques Garrigue2015-01-171-1/+1
* PR#6600: make -short-paths faster by building the printing map incrementallyJacques Garrigue2015-01-161-1/+3
* #6688: allow val declarations as structure items.Alain Frisch2014-12-101-1/+3
* Fix PR#6465: allow incremental weakening of module aliasesJacques Garrigue2014-10-011-0/+1
* #6529: further optimize consistency check.Alain Frisch2014-09-011-1/+1
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-4/+5
* * split Typetexp.lookup_module and Typetexp.find_moduleJacques Garrigue2014-05-121-1/+1
* re-commit Leo's weak-dependencies pull requestJacques Garrigue2014-05-071-2/+3
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-5/+5
* revert commit 14719Jacques Garrigue2014-05-021-3/+2
* weak dependencies with -trans-mod (github/ocamllabs/weak-depends 45e980a,2185...Mark Shinwell2014-05-011-2/+3
* merge branch "safe-string"Damien Doligez2014-04-291-1/+2
* Add -trans-mod option for transparent module dependencies.Jacques Garrigue2013-12-201-1/+5
* use new scrape_alias for Env tooJacques Garrigue2013-11-111-0/+5
* use a strengthening version of scrape_alias in TypemodJacques Garrigue2013-11-111-3/+0
* Do not add module aliases to importsJacques Garrigue2013-10-081-1/+1
* make path normalization safer; now Core not only compiles but worksJacques Garrigue2013-10-041-2/+5
* everything works except camlp4Jacques Garrigue2013-10-011-1/+1
* passes the testsuite!Jacques Garrigue2013-09-301-0/+2
* Merge trunk at revision 14200. Now everything works except private typesJacques Garrigue2013-09-301-4/+7
|\
| * 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-2/+4
* | Support module aliases.Jacques Garrigue2013-09-291-0/+3
|/
* Do not track unused type declarations created by 'include'.Alain Frisch2013-09-171-2/+2
* Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez2013-09-041-1/+3
* #5980: explicit way to silence the new warning (open! X).Alain Frisch2013-05-161-1/+1
* For -short-paths, lookup the whole environment, but avoid recomputationJacques Garrigue2013-05-021-0/+3
* Take ambiguity into account when using -short-paths option.Jacques Garrigue2013-04-301-0/+1
* Fix #5965.Alain Frisch2013-04-291-0/+5
* #5832: patch to improve 'wrong file naming' error messages.Alain Frisch2013-04-291-1/+1
* Merge short-paths into a fresh branch of trunk.Jacques Garrigue2013-01-291-0/+4
|\
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-29/+80
| * build a map from internal paths to printed pathsJacques Garrigue2012-04-111-0/+1
* | merge branches/record-disambiguationJacques Garrigue2012-12-061-10/+17
|\ \
| * | clean up and merge the patch disambiguate-with-warning from PR#5759Jacques Garrigue2012-10-291-2/+6
| * | Synchronize with trunk, to benefit from simplifications made possible by r13043.Alain Frisch2012-10-241-7/+7
| |\ \
| * | | access label information from type in EnvJacques Garrigue2012-09-211-10/+13
* | | | #5814: remove annotations from environments; to produce .annot file, use the ...Alain Frisch2012-11-081-3/+0
| |/ / |/| |
* | | Stop keeping a Path.t to refer to labels and constructors in the Typedtree AS...Alain Frisch2012-10-241-4/+4
* | | remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* | | PR#5787: Bad behavior of 'Unused ...' warnings in the toplevel.Alain Frisch2012-10-121-1/+3
|/ /
* | clean up TABs and whitespaceDamien Doligez2012-07-301-3/+0
* | Fix problem of size of bin-annot filesFabrice Le Fessant2012-07-121-0/+7
* | #5629: A toplevel 'open' in the REPL does not trigger an unused open warning.Alain Frisch2012-06-011-1/+1
* | keep the text width to 80 columnsJacques Garrigue2012-05-311-9/+17
* | merge with branch bin-annotFabrice Le Fessant2012-05-301-22/+53
* | #5596: Do not report unused constructors within signatures.Alain Frisch2012-04-181-0/+2
* | Improve message for Unused constructor/exception warnings.Alain Frisch2012-04-181-3/+6
* | #5551: avoid repeated lookups for missing cmi files.Alain Frisch2012-03-211-0/+1