summaryrefslogtreecommitdiffstats
path: root/typing/ctype.ml
AgeCommit message (Expand)Author
2015-01-17Fix PR#6171: Error message confusing for the beginner when a type escapes its...Jacques Garrigue
2015-01-17partial fix of PR#6744Jacques Garrigue
2014-12-22exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue
2014-12-08fix PR#6690Jacques Garrigue
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
2014-10-03Factorize.Alain Frisch
2014-10-01The path under Tpackage doesn't refer to a type path (but to a module type pa...Alain Frisch
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez
2014-05-11comment out Ctype.local_non_recursive_abbrevJacques Garrigue
2014-05-09Fix PR#6405: unsound interaction of -rectypes and GADTsJacques Garrigue
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2014-04-29merge branch "safe-string"Damien Doligez
2014-04-12fix some of the whitespace problems in the sourceDamien Doligez
2014-04-04Fix PR#6348Jacques Garrigue
2014-03-31Rvert parts of the original commit which are not relevant with the encoding a...Alain Frisch
2014-03-28Some preparation for record arguments.Alain Frisch
2014-03-26Get rid of some uses of implicit removal of optional arguments.Alain Frisch
2014-03-10Structural typing of first class modules (cf. PR#6333)Jacques Garrigue
2014-01-10Merge module-alias branch (cf. PR#6063)Jacques Garrigue
2013-12-05#6262: equality of first-class modules take module type aliases into account....Alain Frisch
2013-11-19Fix PR#6241Jacques Garrigue
2013-10-28Fix PR#6174 (-rectypes case)Jacques Garrigue
2013-10-28Fix PR#6174 (non -rectypes)Jacques Garrigue
2013-10-01everything works except camlp4Jacques Garrigue
2013-09-27Keep attributes/locs for class type declarations and class declarations in Ty...Alain Frisch
2013-09-27Keep location and attributes in type, label and constructor declarations. De...Alain Frisch
2013-09-12Switch Ctype.Tags.Alain Frisch
2013-09-06Fix PR#6163Jacques Garrigue
2013-09-05Fix PR#6158Jacques Garrigue
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
2013-08-28Synchronize with trunk.Alain Frisch
2013-08-20Fix PR#6123Jacques Garrigue
2013-07-16Synchronize with trunk.Alain Frisch
2013-06-22fix PR#5914Jacques Garrigue
2013-06-17Make GADT inference robust to useless equationsJacques Garrigue
2013-05-03Fix PR#5985 for constrained parameters too.Jacques Garrigue
2013-04-30Fix PR#5985; compute injectivity of types but no new syntaxJacques Garrigue
2013-04-22Fix PR#5997Jacques Garrigue
2013-04-18Fix PR#5989Jacques Garrigue
2013-04-16Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to ...Alain Frisch
2013-04-12Fix PR#5981Jacques Garrigue
2013-03-13Fix PR#5948Jacques Garrigue
2013-02-09add -short-paths flag for printing shorter types when using modulesJacques Garrigue
2013-02-01small fixes on GADT ambiguity levelsJacques Garrigue
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
2013-01-26Fix PR#5907Jacques Garrigue
2013-01-16Fix PR#5892Jacques Garrigue
2013-01-11propagate type information to patterns, even when there are polymorphic variantsJacques Garrigue
2012-12-27fix PR#5673Jacques Garrigue
2012-12-06merge branches/record-disambiguationJacques Garrigue
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-10 00:01:21 +0000