summaryrefslogtreecommitdiff
path: root/typing/includemod.ml
Commit message (Expand)AuthorAgeFilesLines
* Detect unused module declarations.alainfrisch2016-07-181-0/+1
* Fix PR#7112Jacques Garrigue2016-03-161-3/+5
* More warnings when compiling the compiler.alainfrisch2016-03-151-14/+14
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* #6688: allow val declarations as structure items.Alain Frisch2014-12-101-1/+1
* Typedtree: add type information to primitive coercionsGabriel Scherer2014-11-171-2/+3
* merge branch 4.02 from release 4.02.0 to release 4.02.1Damien Doligez2014-10-151-21/+27
|\
| * Sync with trunk.Alain Frisch2014-09-041-2/+44
| |\
| * \ Sync with trunk. Rebinding of inlined extension constructors with free variab...Alain Frisch2014-08-071-27/+26
| |\ \
| * \ \ Synchronize with trunk.Alain Frisch2014-04-221-0/+5
| |\ \ \
| * \ \ \ Synchronize with trunk.Alain Frisch2014-04-141-2/+1
| |\ \ \ \
| * | | | | Continue support for record argument on exceptions.Alain Frisch2014-04-091-11/+22
| * | | | | Keep the id for the synthesized sub-declaration in Cstr_record.Alain Frisch2014-04-081-2/+18
* | | | | | Fix PR#6465: allow incremental weakening of module aliasesJacques Garrigue2014-10-011-2/+7
| |_|_|_|/ |/| | | |
* | | | | merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-2/+44
| |_|_|/ |/| | |
* | | | PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-20/+20
* | | | merge branch "safe-string"Damien Doligez2014-04-291-4/+4
| |_|/ |/| |
* | | Fix PR#6376Jacques Garrigue2014-04-211-0/+5
| |/ |/|
* | fix some of the whitespace problems in the sourceDamien Doligez2014-04-121-1/+0
* | merge branch 4.01 from 4.01.0 (revision 14115) to branch closure (revision 14...Damien Doligez2014-04-041-1/+1
* | Revert bad change included in previous commit, which broke tests/typing-modul...Alain Frisch2014-04-021-2/+0
* | Get rid of ocamlcomp.sh. The next step is to share all those common declarat...Alain Frisch2014-04-021-0/+2
|/
* Add location to module and module type definitions. Improves #6311.Alain Frisch2014-01-301-2/+2
* #6311: show kind and location of missing item, in case of signature mismatch.Alain Frisch2014-01-301-13/+25
* Record inclusion checks between value_descriptions in .cmt files. This makes...Alain Frisch2014-01-281-0/+1
* Merge module-alias branch (cf. PR#6063)Jacques Garrigue2014-01-101-8/+49
|\
| * Fix PR#6240Jacques Garrigue2013-11-181-2/+6
| * merge trunk:14244 to fix bootstrapJacques Garrigue2013-10-241-5/+5
| |\
| * | Do not add module aliases to importsJacques Garrigue2013-10-081-0/+1
| * | make path normalization safer; now Core not only compiles but worksJacques Garrigue2013-10-041-6/+8
| * | fix exn_rebind: camlp4 compiles againJacques Garrigue2013-10-021-0/+1
| * | passes the testsuite!Jacques Garrigue2013-09-301-6/+7
| * | Merge trunk at revision 14200. Now everything works except private typesJacques Garrigue2013-09-301-2/+2
| |\ \
| * | | mostly works, but:Jacques Garrigue2013-09-301-62/+46
| * | | now works with nested structures; still problems inside functorsJacques Garrigue2013-09-301-30/+56
| * | | Support module aliases.Jacques Garrigue2013-09-291-1/+23
* | | | merge generative functorsJacques Garrigue2013-12-171-1/+7
* | | | Fix PR#6240Jacques Garrigue2013-11-181-3/+7
| |_|/ |/| |
* | | Keep attributes with module type declarations. Warning on reference to deprec...Alain Frisch2013-10-011-5/+5
| |/ |/|
* | Keep attributes on module declarations.Alain Frisch2013-09-271-1/+1
|/
* Switch Includemod.Error, without trying to split the message (to keep current...Alain Frisch2013-09-121-0/+11
* PR#5098: creating module values may lead to memory leaksDamien Doligez2013-06-031-14/+28
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-17/+22
|\
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-45/+48
| * propagate path-expansion environment everywhereJacques Garrigue2012-01-231-17/+22
* | remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* | keep the text width to 80 columnsJacques Garrigue2012-05-311-2/+3
* | merge with branch bin-annotFabrice Le Fessant2012-05-301-41/+41
* | #5596: Do not report unused constructors within signatures.Alain Frisch2012-04-181-1/+1
* | Improve message for Unused constructor/exception warnings.Alain Frisch2012-04-181-1/+1
View Lorry Controller Status