summaryrefslogtreecommitdiff
path: root/typing/includemod.ml
Commit message (Collapse)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
| | | | Remains to be done: remove all headers in testsuite/tests.
* #6688: allow val declarations as structure items.Alain Frisch2014-12-101-1/+1
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Typedtree: add type information to primitive coercionsGabriel Scherer2014-11-171-2/+3
| | | | | | | | | | | | This will enable type-directed optimizations during translation of module coercions. WARNING: this breaks Typedtree representation, magic number will have to be adjusted. From: Frederic Bour <frederic.bour@lakaban.net> git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* merge branch 4.02 from release 4.02.0 to release 4.02.1Damien Doligez2014-10-151-21/+27
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Sync with trunk.Alain Frisch2014-09-041-2/+44
| |\ | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15190 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * \ Sync with trunk. Rebinding of inlined extension constructors with free ↵Alain Frisch2014-08-071-27/+26
| |\ \ | | | | | | | | | | | | | | | | | | | | variables is not yet supported. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@15069 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * \ \ Synchronize with trunk.Alain Frisch2014-04-221-0/+5
| |\ \ \ | | | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14657 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * \ \ \ Synchronize with trunk.Alain Frisch2014-04-141-2/+1
| |\ \ \ \ | | | | | | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14587 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | | | | Continue support for record argument on exceptions.Alain Frisch2014-04-091-11/+22
| | | | | | | | | | | | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | | | | Keep the id for the synthesized sub-declaration in Cstr_record.Alain Frisch2014-04-081-2/+18
| | | | | | | | | | | | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record3@14560 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | | | | Fix PR#6465: allow incremental weakening of module aliasesJacques Garrigue2014-10-011-2/+7
| |_|_|_|/ |/| | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | | | merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ↵Damien Doligez2014-08-221-2/+44
| |_|_|/ |/| | | | | | | | | | | | | | | | | | | 15121) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | | PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-20/+20
| | | | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | | merge branch "safe-string"Damien Doligez2014-04-291-4/+4
| |_|/ |/| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | Fix PR#6376Jacques Garrigue2014-04-211-0/+5
| |/ |/| | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14650 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | fix some of the whitespace problems in the sourceDamien Doligez2014-04-121-1/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | merge branch 4.01 from 4.01.0 (revision 14115) to branch closure (revision ↵Damien Doligez2014-04-041-1/+1
| | | | | | | | | | | | 14525) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Revert bad change included in previous commit, which broke ↵Alain Frisch2014-04-021-2/+0
| | | | | | | | | | | | tests/typing-module/firstclass.ml (more phrases were accepted by the type-checker). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Get rid of ocamlcomp.sh. The next step is to share all those common ↵Alain Frisch2014-04-021-0/+2
|/ | | | | | declarations for calling the compilers from various places. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Add location to module and module type definitions. Improves #6311.Alain Frisch2014-01-301-2/+2
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* #6311: show kind and location of missing item, in case of signature mismatch.Alain Frisch2014-01-301-13/+25
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Record inclusion checks between value_descriptions in .cmt files. This ↵Alain Frisch2014-01-281-0/+1
| | | | | | makes it easy in particular to track in external tools value declarations between implementations and interfaces. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14422 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Merge module-alias branch (cf. PR#6063)Jacques Garrigue2014-01-101-8/+49
|\ | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * Fix PR#6240Jacques Garrigue2013-11-181-2/+6
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14301 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * merge trunk:14244 to fix bootstrapJacques Garrigue2013-10-241-5/+5
| |\ | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | Do not add module aliases to importsJacques Garrigue2013-10-081-0/+1
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14219 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | make path normalization safer; now Core not only compiles but worksJacques Garrigue2013-10-041-6/+8
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | fix exn_rebind: camlp4 compiles againJacques Garrigue2013-10-021-0/+1
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14207 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | passes the testsuite!Jacques Garrigue2013-09-301-6/+7
| | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14202 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | Merge trunk at revision 14200. Now everything works except private typesJacques Garrigue2013-09-301-2/+2
| |\ \ | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | | mostly works, but:Jacques Garrigue2013-09-301-62/+46
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * a strange bug in open * spurious bindings in the lambda code git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | | now works with nested structures; still problems inside functorsJacques Garrigue2013-09-301-30/+56
| | | | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * | | Support module aliases.Jacques Garrigue2013-09-291-1/+23
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Namely, you can write "module L = List" in signatures, and avoid have the compiler use directly List when you write L. See examples in testsuite/tests/typing-modules/aliases.ml git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14196 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | | merge generative functorsJacques Garrigue2013-12-171-1/+7
| | | | | | | | | | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14365 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | | Fix PR#6240Jacques Garrigue2013-11-181-3/+7
| |_|/ |/| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14299 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | | Keep attributes with module type declarations. Warning on reference to ↵Alain Frisch2013-10-011-5/+5
| |/ |/| | | | | | | | | deprecated module type. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Keep attributes on module declarations.Alain Frisch2013-09-271-1/+1
|/ | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Switch Includemod.Error, without trying to split the message (to keep ↵Alain Frisch2013-09-121-0/+11
| | | | | | current behavior). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/exception_registration@14117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* PR#5098: creating module values may lead to memory leaksDamien Doligez2013-06-031-14/+28
| | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13735 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-17/+22
|\ | | | | | | | | | | | | | | | | Also fix a bit unification and subtyping errors. You now need the flag -short-path to activate short paths. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-45/+48
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| * propagate path-expansion environment everywhereJacques Garrigue2012-01-231-17/+22
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | remove all $Id keywordsDamien Doligez2012-10-151-2/+0
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | keep the text width to 80 columnsJacques Garrigue2012-05-311-2/+3
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | merge with branch bin-annotFabrice Le Fessant2012-05-301-41/+41
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | #5596: Do not report unused constructors within signatures.Alain Frisch2012-04-181-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12378 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
* | Improve message for Unused constructor/exception warnings.Alain Frisch2012-04-181-1/+1
| | | | | | | | git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12371 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
View Lorry Controller Status