summaryrefslogtreecommitdiffstats
path: root/typing/env.ml
AgeCommit message (Expand)Author
2015-01-17Fix PR#6752: scope escaping due to reference inside a moduleJacques Garrigue
2015-01-16PR#6600: make -short-paths faster by building the printing map incrementallyJacques Garrigue
2014-12-10#6688: allow val declarations as structure items.Alain Frisch
2014-11-12tentative fix of PR#6651Jacques Garrigue
2014-11-10Fix PR#6650: Cty_constr not handled correctly by SubstJacques Garrigue
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
2014-10-03Cleanup.Alain Frisch
2014-10-03Integrate simple change from constructors_with_record4.Alain Frisch
2014-10-02Fix PR#6593: Functor application in tests/basic-modules failsJacques Garrigue
2014-10-01Fix PR#6465: allow incremental weakening of module aliasesJacques Garrigue
2014-09-01#6529: the checked flag is now part of pers_struct.Alain Frisch
2014-09-01#6529: further optimize consistency check.Alain Frisch
2014-08-28fix minor error-reporting bugGabriel Scherer
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez
2014-08-06PR#6474: fix the "weak dependencies" support (patch by Leo White)Gabriel Scherer
2014-05-12avoid warning just before an error happens using -no-alias-depsJacques Garrigue
2014-05-12* split Typetexp.lookup_module and Typetexp.find_moduleJacques Garrigue
2014-05-07re-commit Leo's weak-dependencies pull requestJacques Garrigue
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2014-05-02* Do not require cmi file to be present if module alias is not accessedJacques Garrigue
2014-05-02revert commit 14719Jacques Garrigue
2014-05-01weak dependencies with -trans-mod (github/ocamllabs/weak-depends 45e980a,2185...Mark Shinwell
2014-04-29merge branch "safe-string"Damien Doligez
2014-04-25Do not add absolute paths for information added toJacques Garrigue
2014-04-12fix some of the whitespace problems in the sourceDamien Doligez
2014-04-07Remove debug.Alain Frisch
2014-04-04Support exception rebinding.Alain Frisch
2014-04-01Support for record arguments on exceptions.Alain Frisch
2014-03-23Optimize Env.find_module further for PR#6350Jacques Garrigue
2014-03-22Fix PR#6350Jacques Garrigue
2014-01-30Add location to module and module type definitions. Improves #6311.Alain Frisch
2014-01-10Merge module-alias branch (cf. PR#6063)Jacques Garrigue
2013-12-20Add -trans-mod option for transparent module dependencies.Jacques Garrigue
2013-12-17merge generative functorsJacques Garrigue
2013-11-15also generate module aliases when using includeJacques Garrigue
2013-11-11use new scrape_alias for Env tooJacques Garrigue
2013-10-24merge trunk:14244 to fix bootstrapJacques Garrigue
2013-10-08Do not add module aliases to importsJacques Garrigue
2013-10-04make path normalization safer; now Core not only compiles but worksJacques Garrigue
2013-10-02Hurrah: Core compiles (with some warnings)Jacques Garrigue
2013-10-01Keep attributes with module type declarations. Warning on reference to deprec...Alain Frisch
2013-10-01everything works except camlp4Jacques Garrigue
2013-09-30passes the testsuite!Jacques Garrigue
2013-09-30Merge trunk at revision 14200. Now everything works except private typesJacques Garrigue
2013-09-30mostly works, but:Jacques Garrigue
2013-09-30do not alias functor parameters + some problems with coercions not fixed yetJacques Garrigue
2013-09-29Support module aliases.Jacques 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-12Simplify common case of unit-wide errors.Alain Frisch
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-13 03:43:58 +0000