summaryrefslogtreecommitdiffstats
path: root/typing
AgeCommit message (Expand)Author
2015-02-05Fix PR#6768: Typechecker overflow the stack on cyclic typeJacques Garrigue
2015-01-17Fix PR#6752: scope escaping due to reference inside a moduleJacques Garrigue
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
2015-01-16Resolve PR#6742: remove duplicate virtual_flag information from Tstr_classJacques Garrigue
2015-01-16PR#6600: make -short-paths faster by building the printing map incrementallyJacques Garrigue
2015-01-15Fix #6748 (bug in tast_iter, some module coercions were not rewritten).Alain Frisch
2015-01-06#6737: also keep attribute with optional argument + default value.Alain Frisch
2015-01-06#6737: fix typedtree attributes on (fun x -> body) expressions).Alain Frisch
2014-12-27PR#6714: allow [@@ocaml.warning] on most structure and signature items (value...Gabriel Scherer
2014-12-22Replace TypedtreeMap with a more standard open-recursion iterator Tast_mapper...Alain Frisch
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-12-21PR6695: Make sure the compiler only uses ASCII string functions.Gabriel Scherer
2014-12-21PR#6466: use "extensible variant" rather than "open" types in error messageGabriel Scherer
2014-12-19Fix constructor names in Typedast printing.Gabriel Scherer
2014-12-19Fix PR#6726: Access to the wrong field of aliased moduleJacques Garrigue
2014-12-16add comment for Tobject in Datarepr.free_varsJacques Garrigue
2014-12-16Fix PR#6716: Assertion failure with existentials + inline records + rowsJacques Garrigue
2014-12-13'Did you mean' for instance variablesGabriel Scherer
2014-12-13'Did you mean' for unbound method namesGabriel Scherer
2014-12-13typecore.ml: minor refactoringGabriel 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-12-13simplify the spellcheck functionsGabriel Scherer
2014-12-10#6688: allow val declarations as structure items.Alain Frisch
2014-12-08Fix PR#6680Jacques Garrigue
2014-12-08fix PR#6690Jacques Garrigue
2014-12-03Avoid an index-out-of-bound fatal error when the primitive name is empty.Alain Frisch
2014-11-17Typedtree: add type information to primitive coercionsGabriel Scherer
2014-11-12tentative fix of PR#6651Jacques Garrigue
2014-11-10Fix PR#6650: Cty_constr not handled correctly by SubstJacques Garrigue
2014-11-10PR#6648: show_module should indicate its elision (add Osig_ellipsis to outcom...Jacques Garrigue
2014-10-29fix a bug where the .annot files were truncated because of a missing "close"Damien Doligez
2014-10-15merge branch 4.02 from release 4.02.0 to release 4.02.1Damien Doligez
2014-10-14Reintegrate-merge constructors_with_record5 branch.Alain Frisch
2014-10-09Cleanup.Alain Frisch
2014-10-09Cleanup.Alain Frisch
2014-10-09Fix.Alain Frisch
2014-10-09Better error message.Alain Frisch
2014-10-09Text.Alain Frisch
2014-10-09Sync with trunk.Alain Frisch
2014-10-09Move constructor and label description records to the bottom of Types. Conce...Alain Frisch
2014-10-07Improve error message.Alain Frisch
2014-10-07Reduce diff with trunk.Alain Frisch
2014-10-07Reduce diff with trunk.Alain Frisch
2014-10-07Stop propagating manifest on inlined record types created by rebinding of ext...Alain Frisch
2014-10-07Sync with trunk.Alain Frisch
2014-10-07Simplify removal of duplicated values in signatures, reusing the same code as...Alain Frisch
2014-10-07Disallow completely inline records on GADT constructors.Alain Frisch
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-13 03:43:58 +0000