summaryrefslogtreecommitdiff
path: root/typing/env.ml
Commit message (Expand)AuthorAgeFilesLines
* Cut long lines.alainfrisch2017-05-151-2/+4
* Deprecation warning when checking signature inclusionalainfrisch2017-04-051-7/+5
* Renaming EnvTbl -> TycompTbl; EnvTbl2 -> IdTbl.alainfrisch2017-03-241-52/+52
* Expose a more explicit 'copy types' operation in Env (with a representation i...alainfrisch2017-03-241-13/+11
* Record update_value in summary.alainfrisch2017-03-241-9/+15
* Simplify.alainfrisch2017-03-241-6/+2
* Move diff_keys functions to EnvTbl/EnvTbl2.alainfrisch2017-03-241-21/+23
* Factorize type expression.alainfrisch2017-03-241-8/+9
* Cleanup.alainfrisch2017-03-241-7/+5
* Simplify: no need to keep the position of labels/constructors (for extension ...alainfrisch2017-03-241-12/+12
* Comments.alainfrisch2017-03-241-2/+35
* Optimize lookups by specializing Tbl.find to string keys (not strictly relate...alainfrisch2017-03-241-15/+15
* Do not mark opens as being used when they are only used to look for shadowed ...alainfrisch2017-03-241-1/+1
* Starting to switch to a layered representation of 'opens'.alainfrisch2017-03-241-148/+303
* Fix 'deprecated module' warning.alainfrisch2017-03-241-9/+9
* Restore proper error message when opening a functor.alainfrisch2017-03-241-8/+10
* Simplify non-open insertion in env.alainfrisch2017-03-241-45/+40
* More simplifications.alainfrisch2017-03-241-30/+30
* Simplifications made possible by previous commit.alainfrisch2017-03-241-30/+4
* Implement type-checking of open by copying 'components' instead of recreating...alainfrisch2017-03-241-32/+70
* Variant of #813 (Support normalisation of paths for unknown types) (#816)Jacques Garrigue2016-12-141-13/+2
* use Misc.protect_refs for Env.without_cmisJacques Garrigue2016-12-141-5/+1
* Fix PR#7134, following a suggestion of sliquisterJacques Garrigue2016-12-141-1/+9
* Fix PR#7414 by adding Mtype.lower_nongenJacques Garrigue2016-11-211-6/+2
* typo in env (no change entry needed)Frédéric Bour2016-11-171-1/+1
* Avoid rebuilding cmi_info record when creating .cmti files (#781)Alain Frisch2016-08-301-1/+1
* Fix #7314.alainfrisch2016-08-231-0/+1
* fix whitespace, long lines, headersDamien Doligez2016-08-011-2/+5
* Add label to bool parameterLeo White2016-07-281-3/+3
* Allow more module aliases in strengtheningLeo White2016-07-281-7/+7
* add Env.Persistent_signature.loadJeremie Dimino2016-07-211-8/+25
* Record the safe/unsafe_string mode in .cmi files.alainfrisch2016-07-191-0/+14
* Detect unused module declarations.alainfrisch2016-07-181-17/+44
* PR#6752: revert to strict scopeJacques Garrigue2016-06-241-1/+1
* PR#7233: GADT equations for non-local abstract typesJacques Garrigue2016-06-131-3/+3
* keep local constraints in Env.summaryJacques Garrigue2016-05-111-9/+9
* add locally created types to Env.local_constraintsJacques Garrigue2016-05-091-3/+6
* separate local constraints from types in Env.t, and use it for local open in ...Jacques Garrigue2016-05-091-7/+19
* PR#7139: clearer formulation of warning on unused exceptionsGabriel Scherer2016-05-021-2/+3
* Fix PR#7112Jacques Garrigue2016-03-161-0/+10
* More warnings when compiling the compiler.alainfrisch2016-03-151-48/+48
* Fix PR#7152: lower level of non-generalized variables to binding time of encl...Jacques Garrigue2016-03-061-2/+6
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* clean up whitespace and cut long linesDamien Doligez2016-02-171-1/+2
* Useless bindings, unit patterns, whitespace.alainfrisch2016-01-191-2/+1
* Fix #7115: shadowing in a branch of a GADT match breaks unused variable warning.alainfrisch2016-01-051-0/+13
* Add warning for missing .cmx filesLeo White2015-12-261-8/+29
* Add module to deal with 'front-end' built-in attributes.alainfrisch2015-12-021-11/+6
* Merge with trunk.alainfrisch2015-12-021-32/+65
|\
| * PR#6762: improve warning 45 (shadowing caused by open) for labels/constructor...alainfrisch2015-12-011-31/+64
View Lorry Controller Status