summaryrefslogtreecommitdiff
path: root/typing/typetexp.ml
Commit message (Expand)AuthorAgeFilesLines
* PR#7233: GADT equations for non-local abstract typesJacques Garrigue2016-06-131-7/+10
* Merge tag 4.03.0 into trunk.Damien Doligez2016-04-281-1/+1
* More warnings when compiling the compiler.alainfrisch2016-03-151-9/+9
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Replace uses of [Syntaxerr.ill_formed_ast] by assertsJeremie Dimino2016-01-271-2/+1
* Simplify.alainfrisch2016-01-191-5/+2
* Useless bindings, unit patterns, whitespace.alainfrisch2016-01-191-2/+2
* Add module to deal with 'front-end' built-in attributes.alainfrisch2015-12-021-152/+6
* Pass location to Env.lookup_ functions explicitly.alainfrisch2015-12-021-3/+3
* Avoid warning duplication: checking module deprecation is done in Env.alainfrisch2015-12-011-1/+1
* Recognize ocaml.deprecated floating attribute on top of .ml files to support ...alainfrisch2015-12-011-0/+9
* Store deprecated flag in 'module components' and raise the deprecated warning...alainfrisch2015-12-011-1/+4
* Interpret deprecation warning when looking up external units.alainfrisch2015-11-271-1/+2
* Keep deprecation flag on compilation unit, extracted from a floating attribut...alainfrisch2015-11-271-11/+23
* Improve error for ill-typed functor applicationLeo White2015-10-261-2/+19
* Better -no-alias-deps errorsLeo White2015-10-221-0/+7
* PR#7012: hint when using [ 'A | 'B ] instead of [ B ]Gabriel Scherer2015-10-171-1/+7
* Revert "PR#7012: hint when using [ 'A | 'B ] instead of [ B ]"Gabriel Scherer2015-10-171-7/+1
* PR#7012: hint when using [ 'A | 'B ] instead of [ B ]Gabriel Scherer2015-10-171-1/+7
* Remove dead code.Alain Frisch2015-10-161-5/+0
* Fix PR#7012Jacques Garrigue2015-10-101-2/+2
* partial fix of PR#5780Jacques Garrigue2015-09-091-0/+1
* #6583: support for custom #... binary operators (also allowing '#' in trailin...Alain Frisch2015-03-091-0/+1
* PR#6714: allow [@@ocaml.warning] on most structure and signature items (value...Gabriel Scherer2014-12-271-0/+11
* Exhauce PR#6611: remove the option wrapper on optional arguments in the synta...Jacques Garrigue2014-12-221-1/+6
* 'Did you mean' for variables missing on one side of an or-patternGabriel Scherer2014-12-131-0/+3
* simplify the spellcheck functionsGabriel Scherer2014-12-131-50/+23
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-5/+12
* avoid warning just before an error happens using -no-alias-depsJacques Garrigue2014-05-121-4/+2
* * split Typetexp.lookup_module and Typetexp.find_moduleJacques Garrigue2014-05-121-15/+14
* Fix PR#6410: Error message for an attempt to use a functor as a module is con...Jacques Garrigue2014-05-111-1/+11
* indentationJacques Garrigue2014-05-091-6/+7
* disable Clflags.transparent_modules when narrowing unbound identifier errorJacques Garrigue2014-05-091-7/+18
* Protocol to allow ppx processors to report warnings to the compiler (reported...Alain Frisch2014-05-071-0/+18
* #6399: protocol (based on a built-in ocaml.error extension node) to let ppx t...Alain Frisch2014-05-071-5/+29
* ocaml.warnerror built-in attribute.Alain Frisch2014-05-061-19/+20
* Revise behavior of ocaml.warning attribute: when used as a floating attribut...Alain Frisch2014-05-061-5/+13
* When the payload of the ocaml.deprecated attribute is a string, report it as ...Alain Frisch2014-05-061-8/+18
* Recognize both prefixed and unprefixed built-in attributes (e.g. ocaml.deprec...Alain Frisch2014-05-061-2/+4
* #6387: also allow attributes on methods in object types (< m [@foo] : int; ..>).Alain Frisch2014-05-051-2/+2
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-14/+25
* #6387: allow attributes on variants in polymorphic variant types.Alain Frisch2014-04-301-2/+2
* merge branch "safe-string"Damien Doligez2014-04-291-1/+1
* Fix PR#6383: Exception Not_found when using object type in absent moduleJacques Garrigue2014-04-281-1/+1
* Make Parsetree more uniform by keeping locations in all records which have at...Alain Frisch2014-04-221-0/+6
* Use 'ocaml.' prefix for built-in attributes ocaml.warning, ocaml.deprecated. ...Alain Frisch2014-04-141-4/+4
* fix some of the whitespace problems in the sourceDamien Doligez2014-04-121-5/+4
* Structural typing of first class modules (cf. PR#6333)Jacques Garrigue2014-03-101-1/+1
* Fix PR#6331Jacques Garrigue2014-02-251-2/+4
* Fix PR#6293Jacques Garrigue2014-01-141-1/+2
View Lorry Controller Status