summaryrefslogtreecommitdiffstats
path: root/typing/typeclass.ml
AgeCommit message (Expand)Author
2014-12-22Exhauce PR#6611: remove the option wrapper on optional arguments in the synta...Jacques Garrigue
2014-12-22exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez
2014-05-07#6399: protocol (based on a built-in ocaml.error extension node) to let ppx t...Alain Frisch
2014-05-06Revise behavior of ocaml.warning attribute: when used as a floating attribut...Alain Frisch
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2014-05-04Add support for floating attributes in class structures and class signatures....Alain Frisch
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-26Keep attributes on value declarations in .cmi files (but clear all the locati...Alain Frisch
2013-09-17Do not track unused type declarations created by 'include'.Alain Frisch
2013-09-17#6182: better error message for virtual objects and class types.Alain Frisch
2013-09-12Switch Typetexp.Error, Typedecl.Error, Typemod.Error, Typeclass.Error.Alain Frisch
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-07#6035: reject multiple declarations of the same method or instance variable i...Alain Frisch
2013-06-03Item attributes on each let-binding.Alain Frisch
2013-05-04Fix PR#6004Jacques 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-19The arument of attributes and extension nodes is now a structure, which is sy...Alain Frisch
2013-04-17Split Pexp_function into Pexp_function/Pexp_fun.Alain Frisch
2013-04-17Get rid of the 'explicit arity' flag on Pexp_construct/Ppat_construct. If re...Alain Frisch
2013-04-16Remove pcsig_loc field + doc.Alain Frisch
2013-04-16Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to ...Alain Frisch
2013-04-16Get rid of the location argument on pci_params, and improve location of error...Alain Frisch
2013-04-15Allow the method body to be represented by a non Pexp_poly expression in the ...Alain Frisch
2013-04-15Explicit representation of guards, get rid of Pexp_when.Alain Frisch
2013-04-10Extension nodes as class field or class type field.Alain Frisch
2013-04-10Extension nodes and attributes for class types.Alain Frisch
2013-04-10Attributes and extension points in class_expr.Alain Frisch
2013-04-10Start to bring constructor names closer to concrete syntax.Alain Frisch
2013-04-10Renaming pcstr_pat -> pcstr_self, cstr_pat -> cstr_self.Alain Frisch
2013-04-10Support for attributes on class type fields.Alain Frisch
2013-04-09Item attributes on class fields.Alain Frisch
2013-04-09Allow to not have empty Ptyp_poly node in the Parsetree (the type-checker ins...Alain Frisch
2013-04-04Get rid of the Default case in Asttype.rec_flag.Alain Frisch
2013-04-02Better representation of variance in the Parsetree.Alain Frisch
2013-03-25Starting to keep attributes in the typedtree.Alain Frisch
2013-03-08Attributes on expresions (etc) are now stored in the expression record, to fa...Alain Frisch
2013-02-19Replace error by warning for PR#5835Jacques Garrigue
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
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-19applied (improved) patch of PR#5654Jacques Garrigue
2012-05-31keep the text width to 80 columnsJacques Garrigue