Pierre Weis
|
b5d0102c05
|
Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dans Camlp4
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-02-28 06:59:19 +00:00 |
Jacques Garrigue
|
4011817915
|
Relax the value restriction
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5309 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-12-03 02:57:23 +00:00 |
|
Jacques Garrigue
|
dc6905ffab
|
menage
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5284 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-11-21 06:22:02 +00:00 |
|
Jacques Garrigue
|
8297037442
|
typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5281 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-11-21 05:50:56 +00:00 |
|
Jacques Garrigue
|
65c80f8ae1
|
add unification backtracking
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5280 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-11-21 05:39:01 +00:00 |
|
Jacques Garrigue
|
ecc3dc90ff
|
broken invariant on Fvar (PR#1439)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5181 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-10-16 01:26:15 +00:00 |
|
Jacques Garrigue
|
dd442339bf
|
check whether #c is really the right one in build_subtype (PR#1431)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5180 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-10-15 06:45:14 +00:00 |
|
Jacques Garrigue
|
872b17e4bd
|
collapse conjunctive types in class definition parameters
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5163 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-10-08 06:55:58 +00:00 |
|
Jacques Garrigue
|
7cc6e362ae
|
fix bug in type copy of universal variants (PR#1382)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5127 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-09-11 06:09:26 +00:00 |
|
Jacques Garrigue
|
78987eff9f
|
backtrack l'unification des objets (PR#1377)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-09-09 02:58:21 +00:00 |
|
Jacques Garrigue
|
a65612651e
|
precedences de || et && dans unify_row_field
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5111 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-09-03 02:31:09 +00:00 |
|
Jacques Garrigue
|
14be599efd
|
corrige PR#1360: Reither boucle
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-09-02 03:41:14 +00:00 |
|
Jacques Garrigue
|
bae927f1f9
|
corrige PR#1301: bug dans unify_var
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-08-05 23:41:09 +00:00 |
|
Jacques Garrigue
|
8cd87857b8
|
fix PR#1276
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5071 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-08-05 05:57:24 +00:00 |
Damien Doligez
|
37bf95c248
|
detabisation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5029 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-07-23 14:12:03 +00:00 |
|
Jacques Garrigue
|
40b7f8f848
|
clean-up moregeneral_row
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-07-08 07:19:11 +00:00 |
|
Jacques Garrigue
|
042d5a63ff
|
fix Brian Smith's class constraint problem (caml-list 2002-07-07)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4981 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-07-08 05:59:51 +00:00 |
|
Jacques Garrigue
|
cf97530787
|
remove dead code
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-18 23:48:44 +00:00 |
|
Jacques Garrigue
|
a3c76a6264
|
improve error messages
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4929 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-18 10:47:33 +00:00 |
|
Jacques Garrigue
|
4a9e0cb904
|
remove coercion warning, add it only on error
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-12 09:52:08 +00:00 |
|
Jacques Garrigue
|
6b8a377e3b
|
correctly check recursive abbreviations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-10 02:38:31 +00:00 |
|
Jacques Garrigue
|
a5fd3bb206
|
PR#1189: handle names in update_level
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4906 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-07 23:08:33 +00:00 |
|
Jacques Garrigue
|
082377df68
|
final cleanup of build_subtype
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4870 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-04 07:37:19 +00:00 |
|
Jacques Garrigue
|
c3f8585a18
|
must check recursion on constructors in build_subtype
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4865 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-06-02 09:06:51 +00:00 |
|
Jacques Garrigue
|
3a33e519eb
|
no need to restrict arrow subtyping anymore
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4863 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-31 03:11:07 +00:00 |
|
Jacques Garrigue
|
21e57202d4
|
limit enlarge_type to 2 expansions involving object/variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4862 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-30 06:24:45 +00:00 |
|
Jacques Garrigue
|
3c3f028a73
|
change approach for slow subtyping, use counter
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-29 14:29:57 +00:00 |
|
Jacques Garrigue
|
418790e32b
|
restrict recursion in enlarge_type
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4860 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-29 12:34:20 +00:00 |
|
Jacques Garrigue
|
4ad2a0f0f2
|
fix again PR#1137
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4837 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-25 22:46:39 +00:00 |
|
Jacques Garrigue
|
65b012157a
|
eager unification on variants with one tag
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-16 10:17:47 +00:00 |
|
Jacques Garrigue
|
fa704a8e7b
|
do not check row_bound for free schemes (PR#1137)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4778 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-07 03:21:12 +00:00 |
|
Jacques Garrigue
|
6700412bae
|
do not share expansions of #-types
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4695 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-18 08:06:13 +00:00 |
|
Jacques Garrigue
|
0a8236066f
|
vive les methodes polymorphes!
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-18 07:27:47 +00:00 |
|
Jacques Garrigue
|
08968d669c
|
normalize more
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4646 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-04-15 02:11:32 +00:00 |
|
Jacques Garrigue
|
cb046b351a
|
finish PR#841
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-02-01 10:03:12 +00:00 |
|
Jacques Garrigue
|
bfc6db3edc
|
PR#841
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-02-01 02:49:48 +00:00 |
|
Jacques Garrigue
|
2f149a6ea9
|
variant tag error messages
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-01-04 02:02:50 +00:00 |
|
Jacques Garrigue
|
584b29650a
|
PR#743
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4185 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-12-26 03:43:41 +00:00 |
|
Jacques Garrigue
|
a9c7371f2e
|
changement de representation des variants pour etre vraimet correct
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4035 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-11-23 14:28:21 +00:00 |
|
Jacques Garrigue
|
0a76c3b41e
|
copie correcte des variants polymorphes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-11-23 04:35:48 +00:00 |
|
Jacques Garrigue
|
e3206bb26c
|
plus correct
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4033 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-11-22 13:22:55 +00:00 |
|
Jacques Garrigue
|
e551820eef
|
simplify code
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-11-22 10:41:29 +00:00 |
|
Jacques Garrigue
|
50fc257b4c
|
fix PR#632 (incorrect generalization of variants in classes)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4015 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-11-16 07:26:56 +00:00 |
|
Jacques Garrigue
|
fb02d3be22
|
clear type pairs as soon as possible
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-11-05 09:04:08 +00:00 |
|
Jacques Garrigue
|
23306c8c51
|
correction du PR#547: un Not_found produit par find_type s'echappe
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-09-28 22:55:27 +00:00 |
|
Jacques Garrigue
|
d7f07ca63e
|
check immediately recursive abbrev for -rectypes too
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3804 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-09-27 23:48:37 +00:00 |
|
Jacques Garrigue
|
4cf25f9e3e
|
enleve [ ]
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3801 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-09-27 07:34:39 +00:00 |
|
Jacques Garrigue
|
42d1811a93
|
enrich variant types
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-09-25 09:54:18 +00:00 |
|
Jacques Garrigue
|
c9bc7c53cf
|
fix PR#492
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3653 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-08-23 23:21:30 +00:00 |
|
Jacques Garrigue
|
1541966f30
|
subtype when self appears in a parameter
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-06-08 15:24:34 +00:00 |