summaryrefslogtreecommitdiffstats
path: root/typing/typedecl.ml
AgeCommit message (Expand)Author
2013-03-25Represent exception declarations as constructor declarations in the Parsetree.Alain Frisch
2013-03-25Represent label and constructor declarations as records in the typedtree. Al...Alain Frisch
2013-03-25Starting to keep attributes in the typedtree.Alain Frisch
2013-03-19PR#5933 type-specialize 'let compare = compare' on ints and stringsGabriel Scherer
2013-03-06Attributes on label in record type declarations.Alain Frisch
2013-03-06Type name is part of the type declaration record.Alain Frisch
2013-03-04Attributes on exception declarations.Alain Frisch
2013-03-04Adding attributes on constructor declarations (type t = A [@id expr] | B [@id...Alain Frisch
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
2012-10-24Stop keeping a Path.t to refer to labels and constructors in the Typedtree AS...Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-08-21merge version/4.00 at revision 12866Jacques Garrigue
2012-07-30clean up TABs and whitespaceDamien Doligez
2012-06-14Fix stack overflow by checking cycles for all types before regularityJacques Garrigue
2012-06-04#5632: with-constraints count as references.Alain Frisch
2012-06-01Fix PR#5224Jacques Garrigue
2012-05-31keep the text width to 80 columnsJacques Garrigue
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-05-29Removal of unnecessary "rec" clauses (to please warning #39).Xavier Clerc
2012-05-29Compile with warning 33, and remove unused opens.Alain Frisch
2012-04-25disable unused warnings for identifiers defined in the toplevelJacques Garrigue
2012-04-25#5601: Shouldn't warn about unused constructors when there is an equation.Alain Frisch
2012-04-18Improve message for Unused constructor/exception warnings.Alain Frisch
2012-04-12Fix #5588.Alain Frisch
2012-03-06Detect unused exception declarations (#5524).Alain Frisch
2012-03-06Keep locations for exception declaration. This gives better error messages an...Alain Frisch
2012-01-23propagate path-expansion environment everywhereJacques Garrigue
2012-01-22first attempt: handles only unification errorsJacques Garrigue
2012-01-18Synchronize with trunk.Alain Frisch
2011-12-28More clever algorithm to detect unused (recursive) type declarations.Alain Frisch
2011-12-28fix PR#5449Jacques Garrigue
2011-11-24merge branches/gadts-develJacques Garrigue
2011-10-21merge branches/located_errorsJacques Garrigue
2011-09-22Keep type variable namesJacques Garrigue
2011-07-29merge branches/gadtsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2011-07-20merge changes from 3.12.0 to 3.12.1Damien Doligez
2010-12-03newtypes now have an explicit levelJacques Le Normand
2010-11-10remove the GAHsJacques Garrigue
2010-11-10clean upJacques Le Normand
2010-11-08check GADT return typeJacques Garrigue
2010-11-08only consider variables appearing in parametersJacques Garrigue
2010-11-08allow variance in GADTsJacques Garrigue
2010-10-21removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand
2010-10-19fixed bug in syntax extension. Made unification of variants and objects local...Jacques Le Normand
2010-10-16exhaustiveness check is working. An algorithm te check compatibility has been...Jacques Le Normand
2010-10-07first implementation of gadt friendly pattern exhaustiveness check. It is inc...Jacques Le Normand
2010-10-01removed variance from ellided type variables on the premise that they will on...Jacques Le Normand
2010-10-01reverted transl_simple_type to its original definition in revision 1660 and u...Jacques Le Normand
2010-09-27fixed bug, ocamlopt now worksJacques Le Normand
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-14 02:35:33 +0000