summaryrefslogtreecommitdiff
path: root/typing/typedtree.ml
Commit message (Expand)AuthorAgeFilesLines
* Add location info on Tcoerce_primitiveFabrice Le Fessant2015-04-031-0/+1
* Add rec_flag to type items in the parsetree and typedtreeJérémie Dimino2015-03-131-2/+2
* Resolve PR#6742: remove duplicate virtual_flag information from Tstr_classJacques Garrigue2015-01-161-12/+12
* exhauce PR#6367: introduce Asttypes.arg_label to encode labelled argumentsJacques Garrigue2014-12-221-6/+6
* Typedtree: add type information to primitive coercionsGabriel Scherer2014-11-171-1/+9
* Reintegrate-merge constructors_with_record5 branch.Alain Frisch2014-10-141-2/+6
|\
| * Rvert parts of the original commit which are not relevant with the encoding a...Alain Frisch2014-03-311-6/+2
| * Some preparation for record arguments.Alain Frisch2014-03-281-2/+6
* | #6318: Extend match...with with exception cases. (Patch by Jeremy Yallop, bac...Alain Frisch2014-05-051-1/+1
* | #6387: also allow attributes on methods in object types (< m [@foo] : int; ..>).Alain Frisch2014-05-051-1/+1
* | PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-041-16/+31
* | Add support for floating attributes in class structures and class signatures....Alain Frisch2014-05-041-0/+2
* | #6387: allow attributes on variants in polymorphic variant types.Alain Frisch2014-04-301-1/+1
* | Make Parsetree more uniform by keeping locations in all records which have at...Alain Frisch2014-04-221-0/+4
* | Turn more sig/str items into records. Patch from Leo White.Alain Frisch2014-04-151-6/+34
|/
* Fix PR#6307Jacques Garrigue2014-03-101-1/+2
* Add location to module and module type definitions. Improves #6311.Alain Frisch2014-01-301-0/+3
* Merge module-alias branch (cf. PR#6063)Jacques Garrigue2014-01-101-1/+4
|\
| * mostly works, but:Jacques Garrigue2013-09-301-1/+2
| * Support module aliases.Jacques Garrigue2013-09-291-0/+2
* | merge generative functorsJacques Garrigue2013-12-171-2/+2
* | #6246: allow wildcard pattern as for-loop index. ==> Camlp4 will need to be ...Alain Frisch2013-12-021-1/+1
|/
* Synchronize with trunk.Alain Frisch2013-07-221-1/+1
|\
| * #6073: Add signature to Tstr_include. (Cherry-picked from commit 13903 on 4.01.)Alain Frisch2013-07-171-1/+1
* | More explicit internal representation of attribute payload. Now also support...Alain Frisch2013-07-221-1/+1
* | Synchronize with trunk.Alain Frisch2013-07-161-3/+3
|\ \ | |/
| * #5980: explicit way to silence the new warning (open! X).Alain Frisch2013-05-161-3/+3
* | Item attributes on each let-binding.Alain Frisch2013-06-031-5/+12
* | The arument of attributes and extension nodes is now a structure, which is sy...Alain Frisch2013-04-191-1/+1
* | Allow abstract module declaration in structures to make the syntax and Parset...Alain Frisch2013-04-181-9/+1
* | Split Pexp_constraint into Pexp_coerce/Pexp_constraint.Alain Frisch2013-04-171-1/+2
* | Get rid of the 'explicit arity' flag on Pexp_construct/Ppat_construct. If re...Alain Frisch2013-04-171-6/+5
* | Getting rid of Pexp_assertfalse/Texp_assertfalse.Alain Frisch2013-04-171-1/+0
* | Get rid of the undocumented syntax #c[>`A] (#5936, #5983).Alain Frisch2013-04-161-1/+1
* | Remove pcsig_loc field + doc.Alain Frisch2013-04-161-1/+0
* | Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to ...Alain Frisch2013-04-161-1/+1
* | Get rid of the location argument on pci_params, and improve location of error...Alain Frisch2013-04-161-1/+1
* | Explicit representation of guards, get rid of Pexp_when.Alain Frisch2013-04-151-4/+10
* | Represent the closed flag of Ptyp_variant using closed_flag instead of bool, ...Alain Frisch2013-04-121-1/+1
* | Attributes on Pstr_eval.Alain Frisch2013-04-111-1/+1
* | Keep item attributes on let-binding structure items.Alain Frisch2013-04-111-1/+1
* | Cosmetic.Alain Frisch2013-04-101-0/+1
* | Extension nodes and attributes for class types.Alain Frisch2013-04-101-4/+7
* | Attributes and extension points in class_expr.Alain Frisch2013-04-101-4/+7
* | Start to bring constructor names closer to concrete syntax.Alain Frisch2013-04-101-15/+10
* | Renaming pcstr_pat -> pcstr_self, cstr_pat -> cstr_self.Alain Frisch2013-04-101-4/+6
* | Support for attributes on class type fields.Alain Frisch2013-04-101-2/+3
* | Item attributes on class fields.Alain Frisch2013-04-091-2/+3
* | Get rid of core_field_type, more direct representation of object types.Alain Frisch2013-04-091-9/+1
* | Better representation of variance in the Parsetree.Alain Frisch2013-04-021-4/+2