delta/ocaml.git/typing/typetexp.mli, branch ephemeron github.com: ocaml/ocaml merge trunk:14244 to fix bootstrap 2013-10-24T04:19:08+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-10-24T04:19:08+00:00 8fb5fdc9f212f5b834329c2f75f5943fc393622d git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Do not add module aliases to imports 2013-10-08T08:18:38+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-10-08T08:18:38+00:00 c628fb2dc9a45c2cd96475442c6c4045d81f7ae1 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14219 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/module-alias@14219 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#5445: interpret warning attribute on expressions, and as floating signature/structure items. 2013-10-04T08:18:50+00:00 Alain Frisch alain@frisch.fr 2013-10-04T08:18:50+00:00 f1bc74bcc807ff7096769e961d26632128cd8323 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Keep attributes on module declarations. 2013-09-27T17:05:39+00:00 Alain Frisch alain@frisch.fr 2013-09-27T17:05:39+00:00 cc31694f7ca1043080fc290e5a82520513cf7f94 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Keep attributes/locs for class type declarations and class declarations in Types. Renaming cty -> csig prefix for class signatures to be coherent with Typedtree. 2013-09-27T15:04:03+00:00 Alain Frisch alain@frisch.fr 2013-09-27T15:04:03+00:00 c0778758c1bc167ac0f9d5725bb886bc26540bc9 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14194 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14194 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Synchronize with trunk. 2013-07-16T13:34:30+00:00 Alain Frisch alain@frisch.fr 2013-07-16T13:34:30+00:00 525ef9d7035faa15f872af802f2998cd696977e2 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix #5965. 2013-04-29T15:39:00+00:00 Alain Frisch alain@frisch.fr 2013-04-29T15:39:00+00:00 96fc2316ed64b524554a15f5bb21e4e3c004642b git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13619 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13619 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Get rid of the location argument on pci_params, and improve location of error messages. 2013-04-16T07:51:27+00:00 Alain Frisch alain@frisch.fr 2013-04-16T07:51:27+00:00 bfc9a8f9e1e577ea15df1b33e70079ae56101eab git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13534 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13534 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
First version with attributes and extensions on expressions, type expressions and structure items. 2013-02-28T16:51:59+00:00 Alain Frisch alain@frisch.fr 2013-02-28T16:51:59+00:00 152255e5129d94325f3017bc93623dde2fa1cfb1 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Merge short-paths into a fresh branch of trunk. 2013-01-29T14:21:12+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2013-01-29T14:21:12+00:00 26e1ff7138c3e90e845fb278fc6283a166f1871f Also fix a bit unification and subtyping errors. You now need the flag -short-path to activate short paths. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
Also fix a bit unification and subtyping errors.
You now need the flag -short-path to activate short paths.



git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02