summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* fix minor error-reporting bugGabriel Scherer2014-08-281-2/+2
* merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev ...Damien Doligez2014-08-2222-152/+372
* Cherry pick 15071 from 4.02 (Fix #6510: Removal of shadowed constructors of e...Alain Frisch2014-08-081-18/+33
* PR#6474: fix the "weak dependencies" support (patch by Leo White)Gabriel Scherer2014-08-061-23/+24
* PR#6418: support "@[<hov %d>" in the new format implementation (Benoît Vaugon)Gabriel Scherer2014-06-141-9/+2
* PR#6418: fix format regression on "@{<..%d..%s..>" (Benoît Vaugon)Gabriel Scherer2014-06-091-14/+22
* Fix PR#6417: sprintf broken when local module named Pervasives is in scopeGabriel Scherer2014-06-091-30/+11
* format+gadts: make format types "relational" to fix %(...%) typingGabriel Scherer2014-05-211-14/+6
* replay trunk@14523: warn on non-principal format6 coercionsGabriel Scherer2014-05-141-3/+7
* Use a nominal datatype for CamlinternalFormat.format6Gabriel Scherer2014-05-141-13/+7
* apply patch for PR#6420: Bad error message for non-exhaustive matching on ext...Jacques Garrigue2014-05-141-2/+1
* typecore.ml: fix format's expected-type mistakeGabriel Scherer2014-05-121-8/+4
* add typer support for the new formatsGabriel Scherer2014-05-121-1/+6
* update Benoît's patch wrt. Parsetree changesGabriel Scherer2014-05-121-8/+15
* convert Benoît's first patch to bytes/stringGabriel Scherer2014-05-121-4/+4
* first part of Benoît Vaugon's format-gadts patchGabriel Scherer2014-05-124-241/+282
* avoid warning just before an error happens using -no-alias-depsJacques Garrigue2014-05-124-8/+7
* * split Typetexp.lookup_module and Typetexp.find_moduleJacques Garrigue2014-05-126-53/+43
* Fix PR#6410: Error message for an attempt to use a functor as a module is con...Jacques Garrigue2014-05-112-1/+12
* comment out Ctype.local_non_recursive_abbrevJacques Garrigue2014-05-111-3/+5
* indentationJacques Garrigue2014-05-091-6/+7
* disable Clflags.transparent_modules when narrowing unbound identifier errorJacques Garrigue2014-05-091-7/+18
* Fix PR#6405: unsound interaction of -rectypes and GADTsJacques Garrigue2014-05-091-9/+4
* Protocol to allow ppx processors to report warnings to the compiler (reported...Alain Frisch2014-05-073-3/+33
* Expose a Typemod.type_interface (currently an alias of Typemod.transl_signatu...Alain Frisch2014-05-072-0/+5
* Minor tweak to raw dump of parsetree/typedtree.Alain Frisch2014-05-071-1/+1
* Fix PR#6394: Assertion failed in Typecore.expand_pathJacques Garrigue2014-05-071-1/+2
* #6399: protocol (based on a built-in ocaml.error extension node) to let ppx t...Alain Frisch2014-05-078-40/+65
* re-commit Leo's weak-dependencies pull requestJacques Garrigue2014-05-077-20/+41
* ocaml.warnerror built-in attribute.Alain Frisch2014-05-061-19/+20
* Revise behavior of ocaml.warning attribute: when used as a floating attribut...Alain Frisch2014-05-065-10/+31
* When the payload of the ocaml.deprecated attribute is a string, report it as ...Alain Frisch2014-05-061-8/+18
* Recognize both prefixed and unprefixed built-in attributes (e.g. ocaml.deprec...Alain Frisch2014-05-062-3/+9
* Accept a fully empty pattern matching. This can be generated by Camlp4 using...Alain Frisch2014-05-051-1/+5
* Indent + comment.Alain Frisch2014-05-051-2/+2
* #6318: Extend match...with with exception cases. (Patch by Jeremy Yallop, bac...Alain Frisch2014-05-057-13/+39
* #6387: also allow attributes on methods in object types (< m [@foo] : int; ..>).Alain Frisch2014-05-056-8/+10
* PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue2014-05-0440-589/+1280
* Add support for floating attributes in class structures and class signatures....Alain Frisch2014-05-047-3/+22
* * Do not require cmi file to be present if module alias is not accessedJacques Garrigue2014-05-021-6/+7
* revert commit 14719Jacques Garrigue2014-05-027-41/+20
* weak dependencies with -trans-mod (github/ocamllabs/weak-depends 45e980a,2185...Mark Shinwell2014-05-017-20/+41
* #6387: allow attributes on variants in polymorphic variant types.Alain Frisch2014-04-306-8/+9
* merge branch "safe-string"Damien Doligez2014-04-2913-30/+45
* merge Leo's patch for PR#6384Jacques Garrigue2014-04-292-88/+34
* Fix PR#6383: Exception Not_found when using object type in absent moduleJacques Garrigue2014-04-281-1/+1
* fix some whitespaceDamien Doligez2014-04-251-2/+2
* Do not add absolute paths for information added toJacques Garrigue2014-04-251-3/+3
* More precise location on 'name must be unique' error (report the identifier n...Alain Frisch2014-04-221-14/+14
* Make Parsetree more uniform by keeping locations in all records which have at...Alain Frisch2014-04-228-37/+54
View Lorry Controller Status