summaryrefslogtreecommitdiffstats
path: root/parsing/printast.ml
AgeCommit message (Expand)Author
2013-04-09Item attributes on class fields.Alain Frisch
2013-04-09Get rid of core_field_type, more direct representation of object types.Alain Frisch
2013-04-04Get rid of the Default case in Asttype.rec_flag.Alain Frisch
2013-04-02Better representation of variance in the Parsetree.Alain Frisch
2013-03-28added a lot of missing newlinesDamien Doligez
2013-03-26Support for quoted strings.Alain Frisch
2013-03-25Align module and module type declarations between Parsetree and Typedtree.Alain Frisch
2013-03-25Represent exception declarations as constructor declarations in the Parsetree.Alain Frisch
2013-03-25Represent label and constructor declarations as records in the typedtree. Al...Alain Frisch
2013-03-25Starting to keep attributes in the typedtree.Alain Frisch
2013-03-18Do not let indentation grow without bound when pretty-printing the parse tree.Damien Doligez
2013-03-08Attributes on expresions (etc) are now stored in the expression record, to fa...Alain Frisch
2013-03-06Attributes on label in record type declarations.Alain Frisch
2013-03-06Attribute has structure/signature item.Alain Frisch
2013-03-06Record for module type declarations.Alain Frisch
2013-03-06Name is part of the value_description record.Alain Frisch
2013-03-06Type name is part of the type declaration record.Alain Frisch
2013-03-06Switch Pstr_modtype argument to a record type.Alain Frisch
2013-03-05Parse recursive module as standard modules, and check in the type-checker tha...Alain Frisch
2013-03-05Support item attributes on exn rebind.Alain Frisch
2013-03-05Put name in the exception_declaration record.Alain Frisch
2013-03-05Extension as structure/signature items [%%lid expr].Alain Frisch
2013-03-04Attributes on module/module type/recursive module declarations in interfaces.Alain Frisch
2013-03-04Attributes on open/include in signatures.Alain Frisch
2013-03-04Attributes on exception declarations.Alain Frisch
2013-03-04Attributes on value declared in signatures.Alain Frisch
2013-03-04Adding attributes on constructor declarations (type t = A [@id expr] | B [@id...Alain Frisch
2013-03-04Attributes/extensions as module types.Alain Frisch
2013-03-04Adding extension/attribute on patterns.Alain Frisch
2013-03-04Continue.Alain Frisch
2013-03-01Cleanup + support attributes on type declarations (syntax: type t = ... with ...Alain Frisch
2013-02-28First version with attributes and extensions on expressions, type expressions...Alain Frisch
2012-12-10followup to r13120: output ALL locationsDamien Doligez
2012-12-08shorter format for locations; output all locationsDamien Doligez
2012-10-15remove all $Id keywordsDamien Doligez
2012-07-30clean up TABs and whitespaceDamien Doligez
2012-05-30merge with branch bin-annotFabrice Le Fessant
2011-12-28Remove unused constructors in the AST: Cf_let, Pcf_let.Alain Frisch
2011-12-14#5358: package types allow constraints on typed in sub-modules. Camlp4 compil...Alain Frisch
2011-10-28Get rid of spurious warningsPierre Weis
2011-08-04PR#5238, PR#5277: Sys_error when getting error locationDamien Doligez
2011-07-29merge branches/gadtsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-11-16complete_constrs in parmatch.ml now works with gadts. Reverted changes to the...Jacques Le Normand
2010-11-10remove the GAHsJacques Garrigue
2010-11-10clean upJacques Le Normand
2010-11-08exhaustiveness check has been _completely_ rewrittenJacques Le Normand
2010-10-25merged with trunk. specifically, merged with implicit unpack patchJacques Le Normand
2010-10-21merge branches/implicit-unpack + update camlp4Jacques Garrigue
2010-10-21added lookup of constructors by type in env.ml and specification of construct...Jacques Le Normand