Jacques Garrigue
|
e364e6c254
|
fix PR#2062
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6312 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-05-23 09:06:58 +00:00 |
|
Jacques Garrigue
|
11570e23a3
|
ajout du champ cty_inher dans Types.class_declaration
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6307 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-05-18 13:28:00 +00:00 |
|
Jacques Garrigue
|
51c870d62e
|
messages d'erreur plus courts et plus explicites
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6260 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2004-04-27 07:37:30 +00:00 |
|
Jacques Garrigue
|
f2095623ff
|
fast and compact classes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5977 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-11-25 09:20:45 +00:00 |
|
Jacques Garrigue
|
80e050c2cd
|
simplify
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5901 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-11-07 08:19:29 +00:00 |
|
Jacques Garrigue
|
5ed1c19bb2
|
better message for PR#1884
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-11-07 02:17:49 +00:00 |
|
Jacques Garrigue
|
b719914d64
|
fix PR#1917
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5896 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-11-07 01:06:55 +00:00 |
Xavier Leroy
|
e8591e4f08
|
Detection trop stricte des types cycliques (PR#1826)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5841 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-09-25 08:05:38 +00:00 |
|
Jacques Garrigue
|
fec4c52bba
|
must cleanup_abbrev in matches
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5769 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-08-09 12:09:11 +00:00 |
|
Jacques Garrigue
|
e9c6054e8b
|
revert to try_expand_head in Ctype.occur_rec (bug report by skaller)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5768 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-08-09 11:47:57 +00:00 |
|
Jacques Garrigue
|
af0591973a
|
fix PR#1744
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5669 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-07-08 10:01:10 +00:00 |
|
Xavier Leroy
|
3e4bf9252b
|
Revu representation des declarations de type private
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-07-02 09:14:35 +00:00 |
|
Xavier Leroy
|
49ee5083e2
|
Detection des abreviations de types mal formees introduites par 'module rec'
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5640 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-07-01 13:05:43 +00:00 |
|
Jacques Garrigue
|
b8f3f07141
|
coherent handling of type declarations
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5632 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-06-30 08:04:42 +00:00 |
|
Jacques Garrigue
|
8121f19f8d
|
fix PR#1731
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5630 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-06-28 10:46:32 +00:00 |
|
Jacques Garrigue
|
789d53cecf
|
fix PR#1727
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5625 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-06-25 07:52:27 +00:00 |
|
Xavier Leroy
|
1fa763e0c5
|
Merge branch with recursive modules
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5602 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-06-19 15:53:53 +00:00 |
|
Jacques Garrigue
|
4202eb8c4d
|
add weak contravariance for types (PR#1692)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5569 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-05-21 09:04:54 +00:00 |
|
Jacques Garrigue
|
7f8529a455
|
finish? fixing PR#1673
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5554 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-05-13 04:11:03 +00:00 |
|
Jacques Garrigue
|
14ec9d12bd
|
fix PR#1663
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-05-08 01:44:22 +00:00 |
Pierre Weis
|
e77055aad9
|
Complete move from virtual to private for concrete types with private
constructors (or labels).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-05-01 22:22:37 +00:00 |
|
Jacques Garrigue
|
b8311b53d0
|
fix PR#1599 and PR#1616
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-04-22 10:46:57 +00:00 |
|
Jacques Garrigue
|
7e63e57d59
|
fix caml-list/Damien.Pous@ens-lyon.fr/2003-03-30
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-04-03 02:15:38 +00:00 |
|
Jacques Garrigue
|
0ac6c8e9c8
|
polymorphic method bugs, PR#1607
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5457 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-03-26 07:24:17 +00:00 |
|
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 |