summaryrefslogtreecommitdiffstats
path: root/typing/typedecl.ml
AgeCommit message (Expand)Author
2015-02-05Fix PR#6768: Typechecker overflow the stack on cyclic typeJacques Garrigue
2014-12-10#6688: allow val declarations as structure items.Alain Frisch
2014-12-03Avoid an index-out-of-bound fatal error when the primitive name is empty.Alain Frisch
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
2014-10-03Cleanup.Alain Frisch
2014-10-03Factorize.Alain Frisch
2014-10-03Cleanup.Alain Frisch
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2014-04-22Make Parsetree more uniform by keeping locations in all records which have at...Alain Frisch
2014-04-22Better locations.Alain Frisch
2014-04-15Turn more sig/str items into records. Patch from Leo White.Alain Frisch
2014-04-10Add %loc_* primitives and corresponding values in PervasivesFabrice Le Fessant
2014-04-04Distinguish explicitly representation of regular records and inlined records ...Alain Frisch
2014-04-04Support exception rebinding.Alain Frisch
2014-04-04Get rid of 'as' clause in inline records. Support re-export of sum types wit...Alain Frisch
2014-04-01Allow to give an explicit name (and specify parameters) for inlined records.Alain Frisch
2014-04-01Always keep the original type parameters (with ordering) for synthesized reco...Alain Frisch
2014-04-01Switch to t.A syntax for synthesized types. Allow the user to refer to such ...Alain Frisch
2014-04-01Support for record arguments on exceptions.Alain Frisch
2014-03-31Rvert parts of the original commit which are not relevant with the encoding a...Alain Frisch
2014-03-31Cleanup (use attributes to pass information).Alain Frisch
2014-03-31Encode record arguments into extra record declarations.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-02-25Fix PR#6331Jacques Garrigue
2014-01-14Fix PR#6293Jacques Garrigue
2013-12-17Fix PR#6275Jacques Garrigue
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-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-07-31allow spurious private in with constraint for backward compatibility, but warnJacques Garrigue
2013-07-26Fix PR#6090Jacques Garrigue
2013-07-16Synchronize with trunk.Alain Frisch
2013-06-18fix a variance bug in GADTsJacques Garrigue
2013-05-04protect against Ctype.equal changing the representativeJacques Garrigue
2013-05-04More clever handling of constrained parameters:Jacques Garrigue
2013-05-03Fix PR#6005Jacques 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-23Apply patch from PR#5944Jacques Garrigue
2013-04-16Get rid of the location argument on pci_params, and improve location of error...Alain Frisch
2013-04-09Allow to not have empty Ptyp_poly node in the Parsetree (the type-checker ins...Alain Frisch
2013-04-02Better representation of variance in the Parsetree.Alain Frisch
2013-03-25Align exception_declaration with Parsetree.Alain Frisch
2013-03-25Align type_declaration with parsetree.Alain Frisch
2013-03-25Align typed value_declaration with parsetree.Alain Frisch
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-13 03:47:19 +0000