Alain Frisch
|
c0778758c1
|
Keep attributes/locs for class type declarations and class declarations in Types. Renaming cty -> csig prefix for class signatures to be coherent with Typedtree.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14194 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-09-27 15:04:03 +00:00 |
|
Alain Frisch
|
645dcf25e5
|
Keep location and attributes in type, label and constructor declarations. Deprecated warning when a deprecated type or constructor is referenced.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-09-27 10:54:55 +00:00 |
|
Alain Frisch
|
08ed781ecc
|
Switch Ctype.Tags.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/exception_registration@14113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-09-12 13:59:45 +00:00 |
Jacques Garrigue
|
d09dee8f9c
|
Fix PR#6163
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14065 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-09-06 05:35:55 +00:00 |
|
Jacques Garrigue
|
567bca77d2
|
Fix PR#6158
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14063 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-09-05 08:26:01 +00:00 |
Damien Doligez
|
7844495624
|
Merge branch 4.01 from branching point to 4.01.0+rc1
Command line used:
svn merge --accept postpone -r 13776:14055 $REPO/version/4.01 .
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14060 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-09-04 15:12:37 +00:00 |
|
Alain Frisch
|
842f6794a9
|
Synchronize with trunk.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@14042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-08-28 17:10:04 +00:00 |
|
Jacques Garrigue
|
7a6d827026
|
Fix PR#6123
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-08-20 03:00:19 +00:00 |
|
Alain Frisch
|
525ef9d703
|
Synchronize with trunk.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-07-16 13:34:30 +00:00 |
|
Jacques Garrigue
|
f4d0232689
|
fix PR#5914
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-06-22 07:31:37 +00:00 |
|
Jacques Garrigue
|
d53e2b57b2
|
Make GADT inference robust to useless equations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13790 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-06-17 03:02:14 +00:00 |
|
Jacques Garrigue
|
67e18e5c4d
|
Fix PR#5985 for constrained parameters too.
Required more variance information, so variance is now an abstract type.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13645 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-05-03 13:38:30 +00:00 |
|
Jacques Garrigue
|
c425ae1ce8
|
Fix PR#5985; compute injectivity of types but no new syntax
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13634 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-04-30 05:26:57 +00:00 |
|
Jacques Garrigue
|
a0b6262cf8
|
Fix PR#5997
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13586 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-04-22 23:53:24 +00:00 |
|
Jacques Garrigue
|
39d57e01e6
|
Fix PR#5989
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13578 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-04-18 23:41:29 +00:00 |
|
Alain Frisch
|
ecb088015f
|
Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to be coherent with Ptyp_arrow.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-04-16 08:59:09 +00:00 |
|
Jacques Garrigue
|
ff7547dca0
|
Fix PR#5981
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13514 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-04-12 10:20:14 +00:00 |
|
Jacques Garrigue
|
389e3a789b
|
Fix PR#5948
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-03-13 04:59:10 +00:00 |
|
Jacques Garrigue
|
dc34e6d938
|
add -short-paths flag for printing shorter types when using modules
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13290 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-02-09 08:42:11 +00:00 |
|
Jacques Garrigue
|
40ee2b4e6f
|
small fixes on GADT ambiguity levels
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13288 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-02-01 10:20:21 +00:00 |
|
Jacques Garrigue
|
26e1ff7138
|
Merge short-paths into a fresh branch of trunk.
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
|
2013-01-29 14:21:12 +00:00 |
|
Jacques Garrigue
|
4c9e622875
|
Fix PR#5907
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-01-26 01:43:11 +00:00 |
|
Jacques Garrigue
|
5348b611a7
|
Fix PR#5892
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-01-16 17:18:26 +00:00 |
|
Jacques Garrigue
|
c4d1bf8b77
|
propagate type information to patterns, even when there are polymorphic variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13221 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2013-01-11 07:26:23 +00:00 |
|
Jacques Garrigue
|
50e15d0e65
|
fix PR#5673
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13164 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-12-27 07:03:32 +00:00 |
|
Jacques Garrigue
|
c8273a179c
|
merge branches/record-disambiguation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-12-06 09:41:21 +00:00 |
|
Jacques Garrigue
|
505dcfb2fe
|
fix PR#5343 (was still unsound)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-12-02 02:46:22 +00:00 |
|
Jacques Garrigue
|
17fc404e78
|
merge patch new-error.diff by lpw25
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13090 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-11-11 03:46:59 +00:00 |
|
Alain Frisch
|
90c1adb6ad
|
Synchronize with trunk, to benefit from simplifications made possible by r13043.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13044 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-10-24 12:57:16 +00:00 |
|
Jacques Garrigue
|
70173dba45
|
only expand to first concrete definition
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/record-disambiguation@13035 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-10-18 07:35:30 +00:00 |
|
Damien Doligez
|
59371b9d75
|
remove TABs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-10-15 18:01:26 +00:00 |
|
Damien Doligez
|
def31744f9
|
remove all $Id keywords
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-10-15 17:50:56 +00:00 |
|
Jacques Garrigue
|
e196c83bf3
|
Fix PR#5785
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-10-12 01:34:51 +00:00 |
|
Jacques Garrigue
|
8e94d482d7
|
use variable name from definition for existentials (cf. PR#5780)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-10-10 09:38:03 +00:00 |
|
Jacques Garrigue
|
35185d610b
|
merge version/4.00 at revision 12866
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-08-21 07:10:35 +00:00 |
|
Jacques Garrigue
|
19a650aa7f
|
Fix PR#5689
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12725 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-07-18 03:21:12 +00:00 |
|
Jacques Garrigue
|
50abdb66a3
|
Fix constraint checking regression; one stack overflow remains in typing-misc/constraints.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12603 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-06-13 22:03:46 +00:00 |
|
Jacques Garrigue
|
6219455e62
|
Fix PR#5224
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12533 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-06-01 05:12:44 +00:00 |
|
Jacques Garrigue
|
d8f8f9ee3b
|
keep the text width to 80 columns
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-05-31 08:07:31 +00:00 |
Fabrice Le Fessant
|
d39d43e55f
|
merge with branch bin-annot
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-05-30 14:52:37 +00:00 |
Xavier Clerc
|
acc19ff167
|
Removal of unnecessary "rec" clauses (to please warning #39).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-05-29 13:41:14 +00:00 |
|
Jacques Garrigue
|
a745e3c6fe
|
fix PR#5619
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-05-25 05:11:55 +00:00 |
|
Jacques Garrigue
|
a23314e0b8
|
Catch Not_found when calling Env.find_type + call Includemod.signatures in Toploop
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-05-08 04:26:13 +00:00 |
|
Jacques Garrigue
|
7a8e3126ba
|
fix partial copy bug + unshare method types with -principal
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12289 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-03-28 10:39:05 +00:00 |
|
Jacques Garrigue
|
875aab099e
|
revert wrong commit of experiments
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-03-23 07:17:42 +00:00 |
|
Jacques Garrigue
|
b3e0f2e72a
|
Fix PR#5553: do not allow a type variable to have the same name as a local type
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-03-23 02:20:24 +00:00 |
|
Damien Doligez
|
6c24f4f90b
|
merge version 3.12 from 3.12.1 to r12205
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-03-08 19:52:03 +00:00 |
|
Jacques Garrigue
|
eced476cce
|
Fix PR#5498
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12111 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-02-03 05:58:57 +00:00 |
|
Jacques Garrigue
|
477b2dd743
|
propagate path-expansion environment everywhere
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2012-01-23 07:59:45 +00:00 |
|
Jacques Garrigue
|
76ac0c7cb1
|
fix PR#5450
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11958 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2011-12-27 08:52:45 +00:00 |