summaryrefslogtreecommitdiff
path: root/typing/typetexp.mli
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Add module to deal with 'front-end' built-in attributes.alainfrisch2015-12-021-14/+0
* Recognize ocaml.deprecated floating attribute on top of .ml files to support ...alainfrisch2015-12-011-0/+1
* Store deprecated flag in 'module components' and raise the deprecated warning...alainfrisch2015-12-011-0/+1
* Keep deprecation flag on compilation unit, extracted from a floating attribut...alainfrisch2015-11-271-0/+1
* Improve error for ill-typed functor applicationLeo White2015-10-261-0/+1
* Better -no-alias-deps errorsLeo White2015-10-221-0/+1
* PR#6714: allow [@@ocaml.warning] on most structure and signature items (value...Gabriel Scherer2014-12-271-0/+1
* simplify the spellcheck functionsGabriel Scherer2014-12-131-6/+0
* avoid warning just before an error happens using -no-alias-depsJacques Garrigue2014-05-121-1/+1
* * split Typetexp.lookup_module and Typetexp.find_moduleJacques Garrigue2014-05-121-0/+2
* Fix PR#6410: Error message for an attempt to use a functor as a module is con...Jacques Garrigue2014-05-111-0/+1
* Protocol to allow ppx processors to report warnings to the compiler (reported...Alain Frisch2014-05-071-1/+3
* #6399: protocol (based on a built-in ocaml.error extension node) to let ppx t...Alain Frisch2014-05-071-1/+2
* Revise behavior of ocaml.warning attribute: when used as a floating attribut...Alain Frisch2014-05-061-1/+3
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-2/+3
* merge trunk:14244 to fix bootstrapJacques Garrigue2013-10-241-0/+1
|\
| * #5445: interpret warning attribute on expressions, and as floating signature/...Alain Frisch2013-10-041-0/+1
* | Do not add module aliases to importsJacques Garrigue2013-10-081-1/+1
|/
* Keep attributes on module declarations.Alain Frisch2013-09-271-1/+1
* Keep attributes/locs for class type declarations and class declarations in Ty...Alain Frisch2013-09-271-2/+5
* Synchronize with trunk.Alain Frisch2013-07-161-0/+1
|\
| * Fix #5965.Alain Frisch2013-04-291-0/+1
* | Get rid of the location argument on pci_params, and improve location of error...Alain Frisch2013-04-161-2/+2
* | First version with attributes and extensions on expressions, type expressions...Alain Frisch2013-02-281-0/+1
|/
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-28/+28
|\
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-15/+28
| * disable shortening for errors in TypetexpJacques Garrigue2012-01-241-3/+3
| * propagate path-expansion environment everywhereJacques Garrigue2012-01-231-4/+4
* | Fix PR#5865Jacques Garrigue2012-12-271-2/+2
* | add spellchecking for Wrong_nameJacques Garrigue2012-11-011-0/+6
* | clean up and merge the patch disambiguate-with-warning from PR#5759Jacques Garrigue2012-10-291-0/+9
* | Stop keeping a Path.t to refer to labels and constructors in the Typedtree AS...Alain Frisch2012-10-241-2/+2
* | PR#5768: On 'unbound identifier' errors, use spell-checking to suggest names ...Alain Frisch2012-10-161-8/+8
* | remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* | keep the text width to 80 columnsJacques Garrigue2012-05-311-11/+24
* | merge with branch bin-annotFabrice Le Fessant2012-05-301-9/+9
|/
* #5358: package types allow constraints on typed in sub-modules. Camlp4 compil...Alain Frisch2011-12-141-2/+2
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
* Error narrowing for class type lookups.Alain Frisch2010-05-181-0/+2
* Error narrowing for module type lookups.Alain Frisch2010-05-181-0/+2
* Error narrowing for module lookups.Alain Frisch2010-05-181-0/+1
* Improve error narrowing, and (partially) fix #5046.Alain Frisch2010-05-181-1/+12
* merge changes from release/3.11.1 to release/3.11.2Damien Doligez2010-01-201-0/+1
* Merge first class modules: svn merge -r 9369:9396 $caml/branches/fstclassmod.Alain Frisch2009-10-261-0/+6
* fix PR#1559Jacques Garrigue2003-05-191-2/+1
* fix PR#1559 and improve error messagesJacques Garrigue2003-03-071-1/+2
* recupere les variables de type apres let moduleJacques Garrigue2002-08-051-3/+5
* vive les methodes polymorphes!Jacques Garrigue2002-04-181-0/+4
* variant tag error messagesJacques Garrigue2002-01-041-0/+1