summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* Fix PR#6836: Assertion failure using -short-pathsJacques Garrigue2015-04-131-12/+19
* PR#6827: prefer string to bytes with -short-pathsDamien Doligez2015-04-071-6/+6
* Add location info on Tcoerce_primitiveFabrice Le Fessant2015-04-033-1/+4
* fix bug reported in https://github.com/ocaml/ocaml/pull/149Damien Doligez2015-03-261-1/+1
* wrong commitJacques Garrigue2015-03-261-1/+1
* Fix PR#5545, cleaner use of generalize_spineJacques Garrigue2015-03-253-6/+21
* Fix PR#6817Jacques Garrigue2015-03-251-1/+1
* Fix printing of nonrec typesJérémie Dimino2015-03-163-36/+37
* Fix printing of sequence of type delcarations with -short-pathsJérémie Dimino2015-03-161-8/+10
* Update printing of nonrec typesJérémie Dimino2015-03-132-5/+15
* Update ocamldoc and other utilities to support "typeJérémie Dimino2015-03-136-20/+45
* Support non-recursive typesJérémie Dimino2015-03-134-18/+26
* Add rec_flag to type items in the parsetree and typedtreeJérémie Dimino2015-03-132-4/+4
* fix PR#6812Jacques Garrigue2015-03-131-1/+17
* #6583: support for custom #... binary operators (also allowing '#' in trailin...Alain Frisch2015-03-093-1/+23
* untypeast: small change to avoid producing new compiler warnings.Gabriel Scherer2015-03-081-0/+9
* use open recursion in untypeast.mlGabriel Scherer2015-03-082-377/+560
* move tools/untypeast.ml to typing/untypeast.mlGabriel Scherer2015-03-082-0/+662
* PR#6452, GPR#140: add internal support for custom printing formatsGabriel Scherer2015-03-081-0/+5
* Fix PR#6787Jacques Garrigue2015-02-191-9/+14
* Fix PR#6768: Typechecker overflow the stack on cyclic typeJacques Garrigue2015-02-051-1/+1
* Fix PR#6752: scope escaping due to reference inside a moduleJacques Garrigue2015-01-173-11/+11
* Fix PR#6171: Error message confusing for the beginner when a type escapes its...Jacques Garrigue2015-01-171-8/+14
* partial fix of PR#6744Jacques Garrigue2015-01-171-0/+13
* Resolve PR#6742: remove duplicate virtual_flag information from Tstr_classJacques Garrigue2015-01-167-22/+19
* PR#6600: make -short-paths faster by building the printing map incrementallyJacques Garrigue2015-01-163-26/+46
* Fix #6748 (bug in tast_iter, some module coercions were not rewritten).Alain Frisch2015-01-151-1/+2
* #6737: also keep attribute with optional argument + default value.Alain Frisch2015-01-061-10/+8
* #6737: fix typedtree attributes on (fun x -> body) expressions).Alain Frisch2015-01-061-2/+2
* PR#6714: allow [@@ocaml.warning] on most structure and signature items (value...Gabriel Scherer2014-12-274-16/+56
* Replace TypedtreeMap with a more standard open-recursion iterator Tast_mapper...Alain Frisch2014-12-223-70/+737
* Exhauce PR#6611: remove the option wrapper on optional arguments in the synta...Jacques Garrigue2014-12-222-1/+10
* exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue2014-12-2216-91/+105
* PR6695: Make sure the compiler only uses ASCII string functions.Gabriel Scherer2014-12-211-1/+1
* PR#6466: use "extensible variant" rather than "open" types in error messageGabriel Scherer2014-12-211-1/+1
* Fix constructor names in Typedast printing.Gabriel Scherer2014-12-191-124/+124
* Fix PR#6726: Access to the wrong field of aliased moduleJacques Garrigue2014-12-191-1/+3
* add comment for Tobject in Datarepr.free_varsJacques Garrigue2014-12-161-0/+1
* Fix PR#6716: Assertion failure with existentials + inline records + rowsJacques Garrigue2014-12-161-3/+8
* 'Did you mean' for instance variablesGabriel Scherer2014-12-132-6/+13
* 'Did you mean' for unbound method namesGabriel Scherer2014-12-132-10/+34
* typecore.ml: minor refactoringGabriel Scherer2014-12-131-4/+6
* simplify spellchecking of labels in typecore.ml:Gabriel Scherer2014-12-132-34/+18
* 'Did you mean' for variables missing on one side of an or-patternGabriel Scherer2014-12-133-11/+23
* simplify the spellcheck functionsGabriel Scherer2014-12-133-60/+37
* #6688: allow val declarations as structure items.Alain Frisch2014-12-106-6/+20
* Fix PR#6680Jacques Garrigue2014-12-081-1/+2
* fix PR#6690Jacques Garrigue2014-12-081-2/+5
* Avoid an index-out-of-bound fatal error when the primitive name is empty.Alain Frisch2014-12-031-1/+1
* Typedtree: add type information to primitive coercionsGabriel Scherer2014-11-175-6/+45
View Lorry Controller Status