summaryrefslogtreecommitdiffstats
path: root/typing/typecore.mli
AgeCommit message (Expand)Author
2014-12-22exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue
2014-12-13'Did you mean' for instance variablesGabriel Scherer
2014-12-13'Did you mean' for unbound method namesGabriel Scherer
2014-12-13simplify spellchecking of labels in typecore.ml:Gabriel Scherer
2014-12-13'Did you mean' for variables missing on one side of an or-patternGabriel Scherer
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
2014-05-12first part of Benoît Vaugon's format-gadts patchGabriel Scherer
2014-05-07#6399: protocol (based on a built-in ocaml.error extension node) to let ppx t...Alain Frisch
2014-05-05#6318: Extend match...with with exception cases. (Patch by Jeremy Yallop, bac...Alain Frisch
2014-01-27#6308: better error message when the types inferred for a variable on both si...Alain Frisch
2013-12-02#6246: allow wildcard pattern as for-loop index. ==> Camlp4 will need to be ...Alain Frisch
2013-09-19PR#6173: Improve error messages for type-based disambiguationJacques Garrigue
2013-09-11Cherry-picking commit 14093 from trunk.Alain Frisch
2013-09-04Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez
2013-07-16Synchronize with trunk.Alain Frisch
2013-06-03Item attributes on each let-binding.Alain Frisch
2013-05-16#5980: explicit way to silence the new warning (open! X).Alain Frisch
2013-04-16Keep interval pattern sugar in the Parsetree (Camlp4 parsers still expand them).Alain Frisch
2013-02-28First version with attributes and extensions on expressions, type expressions...Alain Frisch
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
2012-12-08Improve fix of PR#5848 (allow disambiguation, only restrict scope of GADTs)Jacques Garrigue
2012-12-07fix PR#5848 by disabling disambiguation for GADTs in patternsJacques Garrigue
2012-12-06merge branches/record-disambiguationJacques Garrigue
2012-11-14Fix #5821: Wrong record field is reported as duplicate.Alain Frisch
2012-11-11merge patch new-error.diff by lpw25Jacques Garrigue
2012-11-01add spellchecking for Wrong_nameJacques Garrigue
2012-10-31keep longident in Typecore.Wrong_nameJacques Garrigue
2012-10-31fix warningsJacques Garrigue
2012-10-29clean up and merge the patch disambiguate-with-warning from PR#5759Jacques Garrigue
2012-10-24Synchronize with trunk, to benefit from simplifications made possible by r13043.Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-09-21also support report construction and pattern matchingJacques Garrigue
2012-08-21merge version/4.00 at revision 12866Jacques Garrigue
2012-05-31keep the text width to 80 columnsJacques Garrigue
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-01-22first attempt: handles only unification errorsJacques Garrigue
2011-12-14#5358: package types allow constraints on typed in sub-modules. Camlp4 compil...Alain Frisch
2011-07-29merge branches/gadtsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2011-02-24recover some principalityJacques Garrigue
2010-12-03existentials can no longer appear in let bindings. This is a temporary restri...Jacques Le Normand
2010-11-10clean upJacques Le Normand
2010-10-25merged with trunk. specifically, merged with implicit unpack patchJacques Le Normand
2010-10-25added recursive check for local constraintJacques Le Normand
2010-10-21merge branches/implicit-unpack + update camlp4Jacques Garrigue
2010-09-27fixed bug, ocamlopt now worksJacques Le Normand
2010-09-22small cleanupJacques Le Normand
2010-09-19switched to abstract types, still needs work on exhaustion type. the code nee...Jacques Le Normand
2010-05-18Improve error narrowing, and (partially) fix #5046.Alain Frisch
2010-04-26merge last changes from 3.11 branch (rev 10307)Damien Doligez
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-13 03:44:10 +0000