summaryrefslogtreecommitdiffstats
path: root/typing/typetexp.ml
AgeCommit message (Expand)Author
2014-12-13simplify the spellcheck functionsGabriel Scherer
2014-08-22merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez
2014-05-12avoid warning just before an error happens using -no-alias-depsJacques Garrigue
2014-05-12* split Typetexp.lookup_module and Typetexp.find_moduleJacques Garrigue
2014-05-11Fix PR#6410: Error message for an attempt to use a functor as a module is con...Jacques Garrigue
2014-05-09indentationJacques Garrigue
2014-05-09disable Clflags.transparent_modules when narrowing unbound identifier errorJacques Garrigue
2014-05-07Protocol to allow ppx processors to report warnings to the compiler (reported...Alain Frisch
2014-05-07#6399: protocol (based on a built-in ocaml.error extension node) to let ppx t...Alain Frisch
2014-05-06ocaml.warnerror built-in attribute.Alain Frisch
2014-05-06Revise behavior of ocaml.warning attribute: when used as a floating attribut...Alain Frisch
2014-05-06When the payload of the ocaml.deprecated attribute is a string, report it as ...Alain Frisch
2014-05-06Recognize both prefixed and unprefixed built-in attributes (e.g. ocaml.deprec...Alain Frisch
2014-05-05#6387: also allow attributes on methods in object types (< m [@foo] : int; ..>).Alain Frisch
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2014-04-30#6387: allow attributes on variants in polymorphic variant types.Alain Frisch
2014-04-29merge branch "safe-string"Damien Doligez
2014-04-28Fix PR#6383: Exception Not_found when using object type in absent moduleJacques Garrigue
2014-04-22Make Parsetree more uniform by keeping locations in all records which have at...Alain Frisch
2014-04-14Use 'ocaml.' prefix for built-in attributes ocaml.warning, ocaml.deprecated. ...Alain Frisch
2014-04-12fix some of the whitespace problems in the sourceDamien Doligez
2014-03-10Structural typing of first class modules (cf. PR#6333)Jacques Garrigue
2014-02-25Fix PR#6331Jacques Garrigue
2014-01-14Fix PR#6293Jacques Garrigue
2013-10-24merge trunk:14244 to fix bootstrapJacques Garrigue
2013-10-10#6205: add Hint before spellchecking suggestion.Alain Frisch
2013-10-08Do not add module aliases to importsJacques Garrigue
2013-10-04#5445: interpret warning attribute on expressions, and as floating signature/...Alain Frisch
2013-10-01Keep attributes with module type declarations. Warning on reference to deprec...Alain Frisch
2013-09-27Keep attributes on module declarations.Alain Frisch
2013-09-27Keep attributes/locs for class type declarations and class declarations in Ty...Alain Frisch
2013-09-27Keep location and attributes in type, label and constructor declarations. De...Alain Frisch
2013-09-12Switch Typetexp.Error, Typedecl.Error, Typemod.Error, Typeclass.Error.Alain Frisch
2013-07-16Synchronize with trunk.Alain Frisch
2013-05-28extend warning 3 to other deprecated features: Latin1, (&) and (or)Damien Doligez
2013-05-13Fix error message.Alain Frisch
2013-04-29Fix #5965.Alain Frisch
2013-04-19The arument of attributes and extension nodes is now a structure, which is sy...Alain Frisch
2013-04-16Get rid of the undocumented syntax #c[>`A] (#5936, #5983).Alain Frisch
2013-04-16Better representation of with-constraints.Alain Frisch
2013-04-16Get rid of the location argument on pci_params, and improve location of error...Alain Frisch
2013-04-12Represent the closed flag of Ptyp_variant using closed_flag instead of bool, ...Alain Frisch
2013-04-09Allow to not have empty Ptyp_poly node in the Parsetree (the type-checker ins...Alain Frisch
2013-04-09Get rid of core_field_type, more direct representation of object types.Alain Frisch
2013-04-02Better representation of variance in the Parsetree.Alain Frisch
2013-03-25Starting to keep attributes in the typedtree.Alain Frisch
2013-03-08Attributes on expresions (etc) are now stored in the expression record, to fa...Alain Frisch
2013-03-06Type name is part of the type declaration record.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