summaryrefslogtreecommitdiff
path: root/typing/typedecl.mli
Commit message (Expand)AuthorAgeFilesLines
* check_well_founded: give expansions traces in error messagesGabriel Scherer2022-12-261-3/+8
* Fix detection of immediate64 types through unboxed typesLeo White2021-07-291-4/+0
* Normalize type_expr nodes on access (#10337)Jacques Garrigue2021-06-241-1/+2
* Use the new structured errors (#10170) for better error messagesAntal Spector-Zabusky2021-06-211-6/+6
* Fix formatting issuesAntal Spector-Zabusky2021-05-061-1/+2
* Maintain more structural information in type-checking errorsAntal Spector-Zabusky2021-05-061-4/+4
* Labellize Typedecl.transl_with_constraintsFlorian Angeletti2021-04-141-3/+3
* explicit and rename Bad_fixed_type errrorFlorian Angeletti2021-04-141-1/+3
* Mark datatypes as injective in recursive module approximations (#10029)Jacques Garrigue2020-11-201-1/+1
* Typemod.merge_constraint: be careful about the typing environmentsGabriel Scherer2020-06-031-2/+4
* typedecl: use the new Separability implementation, remove old codeRodolphe Lepigre2020-01-281-1/+1
* reworded errors for non-regular structural typesFlorian Angeletti2019-10-301-1/+6
* Fix #7851 by checking type declaration coherence for recursive modules (#8570)Jacques Garrigue2019-04-191-1/+1
* Typedecl: split immediacy to a separate unit Typedecl_varianceRodolphe Lepigre2018-11-231-2/+1
* Typedecl: split variance to a separate unit Typedecl_varianceGabriel Scherer2018-11-231-11/+1
* rename Typedecl.compute_variance_decls into compute_variance_class_declsGabriel Scherer2018-11-181-1/+1
* a type for unification tracesFlorian Angeletti2018-10-171-3/+3
* more precise extension mismatch error messagesThomas Refis2018-08-091-2/+2
* Add tests for attributesHugo Heuzard2018-04-091-2/+2
* allow to attach @@ attributes on exceptionsHugo Heuzard2018-04-091-0/+4
* Add private extensible variantsLeo White2017-09-111-1/+1
* Fix PR#6934Jacques Garrigue2017-03-161-0/+1
* GPR#606: add unboxed typesDamien Doligez2016-07-211-0/+7
* More warnings when compiling the compiler.alainfrisch2016-03-151-1/+1
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Add support for immediate attributeWill Crichton2016-02-021-0/+1
* More errors with unboxed and untagged attributesMarc Lasson2016-01-201-0/+1
* Use Attr_helper in typing/typedecl.mlJérémie Dimino2015-10-061-1/+0
* Support [@unboxed] and [@untagged] attributesJérémie Dimino2015-08-251-0/+5
* Support non-recursive typesJérémie Dimino2015-03-131-1/+1
* #6688: allow val declarations as structure items.Alain Frisch2014-12-101-0/+1
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-221-0/+1
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-8/+12
* fix some whitespaceDamien Doligez2014-04-251-2/+2
* Make Parsetree more uniform by keeping locations in all records which have at...Alain Frisch2014-04-221-1/+1
* Turn more sig/str items into records. Patch from Leo White.Alain Frisch2014-04-151-1/+1
* Synchronize with trunk.Alain Frisch2013-07-161-1/+3
|\
| * Fix PR#6005Jacques Garrigue2013-05-031-0/+2
| * Fix PR#5985; compute injectivity of types but no new syntaxJacques Garrigue2013-04-301-1/+1
* | Align exception_declaration with Parsetree.Alain Frisch2013-03-251-1/+1
* | Align type_declaration with parsetree.Alain Frisch2013-03-251-1/+1
* | Align typed value_declaration with parsetree.Alain Frisch2013-03-251-1/+1
* | Represent exception declarations as constructor declarations in the Parsetree.Alain Frisch2013-03-251-2/+3
* | Type name is part of the type declaration record.Alain Frisch2013-03-061-3/+2
|/
* Merge short-paths into a fresh branch of trunk.short-paths-4.01Jacques Garrigue2013-01-291-2/+2
|\
| * merge version/4.00 at revision 12866Jacques Garrigue2012-08-211-11/+16
| * first attempt: handles only unification errorsJacques Garrigue2012-01-221-2/+2
* | remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* | keep the text width to 80 columnsJacques Garrigue2012-05-311-5/+16
* | merge with branch bin-annotFabrice Le Fessant2012-05-301-14/+8
View Lorry Controller Status