summaryrefslogtreecommitdiff
path: root/typing/env.ml
Commit message (Expand)AuthorAgeFilesLines
* fix PR#6812Jacques Garrigue2015-03-131-1/+17
* #6583: support for custom #... binary operators (also allowing '#' in trailin...Alain Frisch2015-03-091-1/+20
* Fix PR#6752: scope escaping due to reference inside a moduleJacques Garrigue2015-01-171-4/+4
* PR#6600: make -short-paths faster by building the printing map incrementallyJacques Garrigue2015-01-161-11/+23
* #6688: allow val declarations as structure items.Alain Frisch2014-12-101-2/+7
* tentative fix of PR#6651Jacques Garrigue2014-11-121-20/+13
* Fix PR#6650: Cty_constr not handled correctly by SubstJacques Garrigue2014-11-101-2/+5
* Reintegrate-merge constructors_with_record5 branch.Alain Frisch2014-10-141-1/+48
|\
| * Remove debug.Alain Frisch2014-04-071-1/+0
| * Support exception rebinding.Alain Frisch2014-04-041-0/+1
| * Support for record arguments on exceptions.Alain Frisch2014-04-011-1/+17
* | Cleanup.Alain Frisch2014-10-031-21/+6
* | Integrate simple change from constructors_with_record4.Alain Frisch2014-10-031-6/+1
* | Fix PR#6593: Functor application in tests/basic-modules failsJacques Garrigue2014-10-021-7/+8
* | Fix PR#6465: allow incremental weakening of module aliasesJacques Garrigue2014-10-011-5/+4
* | #6529: the checked flag is now part of pers_struct.Alain Frisch2014-09-011-18/+20
* | #6529: further optimize consistency check.Alain Frisch2014-09-011-16/+28
* | fix minor error-reporting bugGabriel Scherer2014-08-281-2/+2
* | merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-25/+39
* | PR#6474: fix the "weak dependencies" support (patch by Leo White)Gabriel Scherer2014-08-061-23/+24
* | avoid warning just before an error happens using -no-alias-depsJacques Garrigue2014-05-121-2/+2
* | * split Typetexp.lookup_module and Typetexp.find_moduleJacques Garrigue2014-05-121-25/+15
* | re-commit Leo's weak-dependencies pull requestJacques Garrigue2014-05-071-11/+31
* | PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-36/+40
* | * Do not require cmi file to be present if module alias is not accessedJacques Garrigue2014-05-021-6/+7
* | revert commit 14719Jacques Garrigue2014-05-021-31/+11
* | weak dependencies with -trans-mod (github/ocamllabs/weak-depends 45e980a,2185...Mark Shinwell2014-05-011-11/+31
* | merge branch "safe-string"Damien Doligez2014-04-291-2/+1
* | Do not add absolute paths for information added toJacques Garrigue2014-04-251-3/+3
* | fix some of the whitespace problems in the sourceDamien Doligez2014-04-121-4/+4
|/
* Optimize Env.find_module further for PR#6350Jacques Garrigue2014-03-231-10/+18
* Fix PR#6350Jacques Garrigue2014-03-221-8/+15
* Add location to module and module type definitions. Improves #6311.Alain Frisch2014-01-301-1/+1
* Merge module-alias branch (cf. PR#6063)Jacques Garrigue2014-01-101-83/+209
|\
| * Add -trans-mod option for transparent module dependencies.Jacques Garrigue2013-12-201-2/+16
| * also generate module aliases when using includeJacques Garrigue2013-11-151-4/+8
| * use new scrape_alias for Env tooJacques Garrigue2013-11-111-5/+13
| * merge trunk:14244 to fix bootstrapJacques Garrigue2013-10-241-3/+3
| |\
| * | Do not add module aliases to importsJacques Garrigue2013-10-081-47/+66
| * | make path normalization safer; now Core not only compiles but worksJacques Garrigue2013-10-041-7/+29
| * | Hurrah: Core compiles (with some warnings)Jacques Garrigue2013-10-021-1/+4
| * | everything works except camlp4Jacques Garrigue2013-10-011-42/+55
| * | passes the testsuite!Jacques Garrigue2013-09-301-3/+22
| * | Merge trunk at revision 14200. Now everything works except private typesJacques Garrigue2013-09-301-28/+42
| |\ \
| * | | mostly works, but:Jacques Garrigue2013-09-301-1/+1
| * | | do not alias functor parameters + some problems with coercions not fixed yetJacques Garrigue2013-09-301-3/+20
| * | | Support module aliases.Jacques Garrigue2013-09-291-4/+11
* | | | merge generative functorsJacques Garrigue2013-12-171-4/+4
| |_|/ |/| |
* | | Keep attributes with module type declarations. Warning on reference to deprec...Alain Frisch2013-10-011-3/+3
| |/ |/|
* | Keep attributes on module declarations.Alain Frisch2013-09-271-26/+40
|/
View Lorry Controller Status