bdb325c38a
ajoute des assertions (en commentaire)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-27 08:57:27 +00:00
b6041b0eb4
Correction d'un bug d'unification
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2001-02-20 22:16:02 +00:00
2116da4220
Getting rid of obsolete boolean operators & and or
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-12-28 13:07:42 +00:00
4d30d52fb6
construit supertypes pour constructeurs contravariants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3297 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-07 05:13:09 +00:00
83ca813e4b
ajout des variances
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3294 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-09-06 10:21:07 +00:00
d23a489fb1
tiny bug in eqtype
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3269 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-10 01:46:48 +00:00
bda548635f
autorise l'application d'une contrainte a un type en cours de definition
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3265 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-08-04 03:29:42 +00:00
876df83f6b
print constraints correctly
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3213 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-28 05:47:42 +00:00
c136e5d1db
plus prudent dans build_subtype
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3212 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-26 03:11:09 +00:00
b1bff2927c
Rend build_subtype plus intelligent.
...
Incompatibilite' potentielle.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-06-23 08:08:34 +00:00
1ae2e2724a
comment
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-25 02:08:23 +00:00
c0f804929d
clean-up variant typing to recover principality
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3157 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-12 18:22:35 +00:00
23bebe81a6
tiny variant corrections
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-12 03:12:19 +00:00
fce71dd855
do not allow conjunctive types in patterns (PR#109)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3155 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-12 02:52:55 +00:00
a681b5863b
petite amelioration de la normalisation des types et des alias d'impression
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3154 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-05-11 02:22:54 +00:00
6443cd6417
bug in eqtype on variants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3109 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-04-19 03:14:02 +00:00
7dfe9784b7
Revu la gestion des records de flottants
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-21 14:43:25 +00:00
df6ced1fc9
"modern" -> "label" suite (et fin ?)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2976 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-20 21:00:11 +00:00
68366b2500
sorry for the tabs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2960 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-15 07:55:24 +00:00
5772405cb4
be correct with the theory
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2926 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-03-09 07:39:05 +00:00
6f39a8f48d
variant fixes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2861 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-25 03:33:54 +00:00
2b3a690de9
Correction d'une typo (enfin, j'espere que je l'ai corrigee dans le bon sens)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2855 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-24 17:41:18 +00:00
97d12606f7
simplify conjunctive types
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2853 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-24 10:18:25 +00:00
9f30fff453
Correction bug dans la determination des representations de records (e.g. {lbl=t} avec type t = float)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2000-02-05 12:11:34 +00:00
296fc05470
Merge olabl branch
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-30 16:07:38 +00:00
70c945bd4b
Tentative de correction sur la derniere correction de Jerome dans occur_rec
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2605 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-26 12:51:56 +00:00
66a68e3e24
Bug occur-check
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2600 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-25 22:38:15 +00:00
3cde3fd942
Types recursifs sans restriction
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2558 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17 23:53:19 +00:00
cc0f32b054
Changement de la licence
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-17 18:59:06 +00:00
8ead6cda81
Option pour accepter des types recursifs (demande de Pascal Cuoq)
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-08 23:45:01 +00:00
00d13fbe0e
Corrections de bugs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-08 23:05:03 +00:00
b044124d92
Bug dans le filtrage des types de classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2460 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-11-03 18:32:21 +00:00
723a2e6c7c
Bug dans l'unification
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2406 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-09-09 19:38:29 +00:00
cdbf30ab01
Bug typage des contraintes de type
...
"moregen" plus laxiste
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-09-09 15:32:11 +00:00
5038f3cdb6
Ajout de Pervasives.ignore. List.remove -> List.remove_ass*
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2304 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1999-02-24 15:21:50 +00:00
d69230b152
Bugs divers
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2204 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-30 13:06:53 +00:00
4508b80100
Éviction des alertes des séquences: ajout de fonctions rendant unit ou
...
de prédicats dans le cas où l'on appelait une fonction pour savoir si
ça pouvait marcher en capturant une exception.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2172 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-11-12 14:53:46 +00:00
8d0e88cbdc
Differents petits bugs
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-10-10 17:57:27 +00:00
7f2a75dd3c
Classes : plus laxiste dans les variables de type liees par les parametres
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2063 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-16 05:36:15 +00:00
ab861c103f
Bugs verification de sous-typage et filtrage de classe
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2056 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-08-15 13:43:10 +00:00
8f0501b73a
Faute de frappe dans le module TypePairs: = devient ==
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2020 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-07-31 07:54:17 +00:00
d1561bbfe8
Optimisation de la verification des relations d'egalite, d'instanciation
...
et de sous-typage entre types.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2010 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-07-03 17:40:39 +00:00
87b17301f4
Nouvelle syntaxe des classes
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1997 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-24 19:22:26 +00:00
5e02c08f4c
Bug occur-check
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-11-18 15:14:56 +00:00
ccee1d802d
Bug de unroll_abbrev
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1729 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-10-21 11:33:03 +00:00
d7b9d6d5c7
expand_abbrev n'est plus exporte par Ctype.
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1629 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-06-29 13:16:47 +00:00
102a6bbccc
Occur-check plus strict ('a list as 'a ne passe plus).
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-12 11:15:51 +00:00
cc1afe62cd
Methodes privees.
...
Bug de l'occur check (boucle...).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-05-11 21:35:00 +00:00
554036180b
Revision de Ctype.equal
...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-04-12 12:39:20 +00:00
86fe89892b
Meilleur approximation des modules utilises.
...
Bug de Ctype.moregeneral
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1485 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1997-04-01 20:52:21 +00:00
Jacques Garrigue
Jérôme Vouillon
Pierre Weis
Xavier Leroy
Damien Doligez