summaryrefslogtreecommitdiffstats
path: root/typing
AgeCommit message (Expand)Author
2014-09-30Cleanup.Alain Frisch
2014-09-30Towards sugar-less encoding of constructor types.Alain Frisch
2014-09-29Towards getting rid of the internal syntactic sugar.Alain Frisch
2014-09-29Cleanup.Alain Frisch
2014-09-26Get rid of type-qualifed constructor paths for extensible types.Alain Frisch
2014-09-26Disallow multiple declaration of extension constructors with the same name in...Alain Frisch
2014-09-26Cleanup.Alain Frisch
2014-09-26Merge with trunk.Alain Frisch
2014-09-26Fix merge problem.Alain Frisch
2014-09-25Make it clear that type-qualified constructors are only allowed in bang types.Alain Frisch
2014-09-25Allow qualified reference to constructors (at least in bang-types). A regula...Alain Frisch
2014-09-23Refer to the inlined record type as !M.Foo for a constructor M.Foo.Alain Frisch
2014-09-05#5528: factorize the generation of names for inlined records.Alain Frisch
2014-09-04Sync with trunk.Alain Frisch
2014-09-01#6529: the checked flag is now part of pers_struct.Alain Frisch
2014-09-01#6529: further optimize consistency check.Alain Frisch
2014-08-29merge changes of version/4.02 from r15121 to r15155Damien Doligez
2014-08-28fix minor error-reporting bugGabriel Scherer
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez
2014-08-12#5528: type extensions can create local type names t.A without an explicit lo...Alain Frisch
2014-08-12#5528: improve error reporting.Alain Frisch
2014-08-12#5528: improve error reporting.Alain Frisch
2014-08-12#5528: support rebinding inlined extension constructors with free variables.Alain Frisch
2014-08-08Cherry pick 15071 from 4.02 (Fix #6510: Removal of shadowed constructors of e...Alain Frisch
2014-08-07Sync with trunk. Rebinding of inlined extension constructors with free variab...Alain Frisch
2014-08-06PR#6474: fix the "weak dependencies" support (patch by Leo White)Gabriel Scherer
2014-06-14PR#6418: support "@[<hov %d>" in the new format implementation (Benoît Vaugon)Gabriel Scherer
2014-06-09PR#6418: fix format regression on "@{<..%d..%s..>" (Benoît Vaugon)Gabriel Scherer
2014-06-09Fix PR#6417: sprintf broken when local module named Pervasives is in scopeGabriel Scherer
2014-05-21format+gadts: make format types "relational" to fix %(...%) typingGabriel Scherer
2014-05-14replay trunk@14523: warn on non-principal format6 coercionsGabriel Scherer
2014-05-14Use a nominal datatype for CamlinternalFormat.format6Gabriel Scherer
2014-05-14apply patch for PR#6420: Bad error message for non-exhaustive matching on ext...Jacques Garrigue
2014-05-12typecore.ml: fix format's expected-type mistakeGabriel Scherer
2014-05-12add typer support for the new formatsGabriel Scherer
2014-05-12update Benoît's patch wrt. Parsetree changesGabriel Scherer
2014-05-12convert Benoît's first patch to bytes/stringGabriel Scherer
2014-05-12first part of Benoît Vaugon's format-gadts patchGabriel Scherer
2014-05-12avoid warning just before an error happens using -no-alias-depsJacques Garrigue
2014-05-12* split Typetexp.lookup_module and Typetexp.find_moduleJacques Garrigue
2014-05-11Fix PR#6410: Error message for an attempt to use a functor as a module is con...Jacques Garrigue
2014-05-11comment out Ctype.local_non_recursive_abbrevJacques Garrigue
2014-05-09indentationJacques Garrigue
2014-05-09disable Clflags.transparent_modules when narrowing unbound identifier errorJacques Garrigue
2014-05-09Fix PR#6405: unsound interaction of -rectypes and GADTsJacques Garrigue
2014-05-07Protocol to allow ppx processors to report warnings to the compiler (reported...Alain Frisch
2014-05-07Expose a Typemod.type_interface (currently an alias of Typemod.transl_signatu...Alain Frisch
2014-05-07Minor tweak to raw dump of parsetree/typedtree.Alain Frisch
2014-05-07Fix PR#6394: Assertion failed in Typecore.expand_pathJacques Garrigue
2014-05-07#6399: protocol (based on a built-in ocaml.error extension node) to let ppx t...Alain Frisch
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-14 15:20:03 +0000