Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3,030 Commits
2 Branches
0 Tags
189 MiB
Commit Graph

293 Commits (8a26b3dda20462b024924d55c4e4c548c1b132ad)

Author SHA1 Message Date
Jérôme Vouillon 097c8d5d5e Bug d'affichage des erreurs d'unification 
Mise a jour de l'affichage du type des classes


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2058 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-08-15 13:50:50 +00:00
Jérôme Vouillon 7adf58f946 Bug d'affichage des erreurs d'unification 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2057 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-08-15 13:49:41 +00:00
Jérôme Vouillon 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
Xavier Leroy 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
Xavier Leroy c8ded4f8d3 Verifier l'unicite des labels dans un record pattern 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-07-29 11:53:57 +00:00
Jérôme Vouillon 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
Xavier Leroy cce4d03543 Une ligne oubliee 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-06-29 14:45:04 +00:00
Jérôme Vouillon 78194d63d1 Typo 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-06-25 17:15:29 +00:00
Jérôme Vouillon 1e375a74dd Nouvelle syntaxe des classes 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-06-25 13:14:07 +00:00
Jérôme Vouillon 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
Xavier Leroy 19d79cd6ac Meilleurs noms pour les exceptions 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1991 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-06-23 10:06:50 +00:00
Xavier Leroy 2a34e4305d Meilleur affichage des val infix 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1983 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-06-11 12:52:32 +00:00
Xavier Leroy 747f13ad93 Formatage de l'interface affichee par -i 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1982 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-06-09 16:08:08 +00:00
Daniel de Rauglaudre 80bb5c6c8b Ajout option "-intf_suffix" pour spécifier le suffixe de l'interface 
quand on compile une implémentation.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-05-27 14:11:25 +00:00
Xavier Leroy 966c09366b Ajout de l'extension de records {r with lbl=expr} 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1939 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-04-27 15:17:11 +00:00
Xavier Leroy e991e9442f Composer les passes du compilateur avec ++ pour eviter de garder des pointeurs vers des structures inutilisees 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1938 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-04-27 15:16:48 +00:00
Xavier Leroy b19c2dbdd0 Oubli d'un cas dans iter_pattern. 
Bug dans le typage des formats du style "%"


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1923 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-04-15 17:46:35 +00:00
Xavier Leroy 2d4b4b54ac Imprimer type t = ... and s = ... 
(C'est pas encore parfait, mais mieux que l'ancienne impl)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-04-14 14:48:08 +00:00
Xavier Leroy 6e0c7318e9 Ajout des motifs de tableaux 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-04-06 09:23:01 +00:00
Xavier Leroy 83cea541c3 Ajout de let module = <modulexpr> in <expr> 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1882 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1998-02-26 12:54:44 +00:00
Xavier Leroy 1c1fa41dac Suppression cas catch-all inutile 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-12-09 09:12:51 +00:00
Jérôme Vouillon e87a671da1 Bug pour l'affichage du type de self 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1800 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-11-24 12:05:55 +00:00
Jérôme Vouillon 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
Jérôme Vouillon 576365579c \"private method\" -> \"method protected\" 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-11-13 09:04:16 +00:00
Damien Doligez 84e2a4bb07 ident.ml: suppression du dernier matching non exhaustif 
printtyp.ml: changement du type de List.iter


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1749 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-10-31 13:02:30 +00:00
Xavier Leroy 0f393737a4 Correction message d'erreur "format incorrect" 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1743 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-10-24 15:54:34 +00:00
Damien Doligez 27ae624991 suppression de quelques warnings 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1731 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-10-22 13:26:19 +00:00
Jérôme Vouillon 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
Jérôme Vouillon 0e476fe92c Bug dans test de virtualite d\'une classe 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1713 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-09-22 14:47:48 +00:00
Jérôme Vouillon 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
Daniel de Rauglaudre dad3660233 Ajout systeme pour arite explicite des constructeurs 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1619 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-06-16 18:10:35 +00:00
Jérôme Vouillon 96b8fedbf1 Bug... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1580 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-06-05 14:15:41 +00:00
Damien Doligez 03ec746bf1 deTABisation 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1563 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-05-19 15:42:21 +00:00
Xavier Leroy d396209609 Env: dans un .cmi, sauver non seulement le CRC du .cmi mais aussi ceux 
des interfaces utilisees pour compiler ce .cmi.
Retour en arriere sur le flag "ps_used" introduit par Jerome, car la
modif sur les CRCs coule definitivement les applets de MMM.
Predef: ajout de l'exception Stack_overflow.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1561 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-05-15 13:30:02 +00:00
Damien Doligez 647dbb0aa4 rien 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1543 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-05-13 18:28:15 +00:00
Xavier Leroy b1b66f3278 typeclass: manque un () apres ; 
primitive, typedecl: verifier que l'arite d'une primitive est > 0.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1535 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-05-13 14:07:00 +00:00
Jérôme Vouillon 3e74d64630 Bug: [type t = int = A] etait accepte... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-05-12 11:30:03 +00:00
Jérôme Vouillon 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
Jérôme Vouillon 874f21a083 Methodes privees. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-05-11 21:48:21 +00:00
Jérôme Vouillon 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
Jérôme Vouillon e04705ae85 Un commentaire modifie'. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-05-11 21:34:04 +00:00
Jérôme Vouillon 7f7e1c81a9 Recursions non "regulieres" (genre type 'a t = A of 'a * float t) de 
nouveau possibles.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-04-24 13:41:16 +00:00
Jérôme Vouillon 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
Jérôme Vouillon c63c0dd769 Meilleur approximation des modules utilises. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1487 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-04-01 20:53:02 +00:00
Jérôme Vouillon 16e22fdf8f Bug de Ctype.moregeneral 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-04-01 20:52:36 +00:00
Jérôme Vouillon 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
Jérôme Vouillon eb35891eec Suppression d'un commentaire pas a` jour 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1459 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-24 20:14:10 +00:00
Jérôme Vouillon 08cc364187 Pas besoin de Env.level et Subst.limit_level finalement... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1454 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-24 20:12:33 +00:00
Jérôme Vouillon 3f481b75c0 Pas besoin de Env.level et Subst.limit_level finalement... 
Ajout de btype.ml{,i} (operations de bases sur les types)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-24 20:12:16 +00:00
Jérôme Vouillon 87e358d2eb Ajout de btype.ml{,i} (operations de bases sur les types) 
Modification de correct_levels, moregeneral et subst
Changement de la valeur de generic_level
Correction d'un bug de correct_abbrev


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1452 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-24 20:12:00 +00:00
Jérôme Vouillon 151e685171 Ajout de btype.ml{,i} (operations de bases sur les types) 
Modification de Ctype.correct_levels


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1451 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-24 20:11:26 +00:00
Jérôme Vouillon 03f160c956 Ajout de btype.ml{,i} (operations de bases sur les types) 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-24 20:11:22 +00:00
Daniel de Rauglaudre 3aa24aee87 Petite modif pour éviter les warnings pour les fonctions vides (qui 
peuvent s'écrire syntaxiquement avec camlp4): ce n'est pas une info et
ça crée du "bruit d'erreur" dans les compilations.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1420 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-21 07:14:34 +00:00
Jérôme Vouillon 58e8f3b8d0 Modification de Ctype.closed_schema 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1412 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-18 21:06:28 +00:00
Jérôme Vouillon 6dc35f692d Modification de commentaires 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1411 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-18 21:05:49 +00:00
Jérôme Vouillon 67764ada10 Ctype.substitute renomme en Ctype.apply 
Simplification de closed_schema


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-18 21:05:27 +00:00
Jérôme Vouillon a8c282cbd5 Ctype.substitute renomme en Ctype.apply 
Simplification de closed_schema
Prise en compte d'un possible echec de la fonction subst (exception
Cannot_apply pour Ctype.apply; Ctype.expand_abbrev leve l'exception
Cannot_expand en cas d'echec)
Bugs de Ctype.moregeneral


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1409 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-18 21:05:15 +00:00
Jérôme Vouillon 5cf4dd82e9 Correction d'un bug pour expansion des types generiques. 
correct_level renomme en correct_levels et modifie.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-14 15:19:48 +00:00
Jérôme Vouillon a08f9b10f1 Limitation du niveau des variables non generiques 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-14 15:16:30 +00:00
Jérôme Vouillon 5a9f4d15d5 Support pour manipulation correcte des types apres l'inference 
(generation de code, debugger, ...).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-13 21:18:06 +00:00
Jérôme Vouillon 29f5e183fa Fonction Env.level : retourne le niveau maximal des constructeurs de 
types contenu dans l'environnement.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-13 21:16:44 +00:00
Jérôme Vouillon f65f319c32 Les abbreviations produites s'expansent en des types completement 
generiques.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-13 21:14:21 +00:00
Jérôme Vouillon ad4ef57431 Subst.type_expr copie systematiquement le type. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-13 21:11:19 +00:00
Jérôme Vouillon bc6c077122 Bug de moregeneral. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1375 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-12 17:41:34 +00:00
Jérôme Vouillon 79240af6cc La substitution n'etait pas appliquee dans certains cas... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1373 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-12 10:26:58 +00:00
Xavier Leroy ff0a788227 Afficher "external foo ... = ..." au lieu de "val foo ... = ...". 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1364 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-10 13:57:44 +00:00
Jérôme Vouillon b7e5b3dce5 Includecore.class_type renomme' en Includecore.class_types. 
Erreur Class_type renommee en Class_types.
Utilisation de substitutions plutot que Ident.identify.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-10 00:27:06 +00:00
Jérôme Vouillon db5ce507fc Erreur Class_type renommee en Class_types. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-10 00:25:52 +00:00
Jérôme Vouillon b405e0582f Suppression de Ident.identity. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1357 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-10 00:23:53 +00:00
Jérôme Vouillon 996d8e8d14 Includecore.class_type renomme' en Includecore.class_types. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1356 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-10 00:23:13 +00:00
Jérôme Vouillon ce58e420c8 Subst.type_expr laisse le type inchange' si la substitution est 
l'identite'.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-10 00:21:57 +00:00
Jérôme Vouillon fe510f90a5 Modifications de commentaires. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-10 00:19:08 +00:00
Jérôme Vouillon d5d2004750 Nettoyage de subst.ml. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1353 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-09 19:08:14 +00:00
Jérôme Vouillon ceb1ac730d Quelques commentaires supplementaires. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1352 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-09 18:42:51 +00:00
Jérôme Vouillon 751dcd48cc Nettoyage de nondep_type. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1351 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-09 18:40:54 +00:00
Jérôme Vouillon 57ae4bb09b Nettoyage de nondep_type. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-09 16:52:49 +00:00
Jérôme Vouillon 0e43b8c79f Bug d'affichage des variables non generiques. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1349 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-09 14:22:24 +00:00
Jérôme Vouillon be33766263 Nettoyage de moregeneral et non_recursive_abbrev. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1348 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-08 22:05:39 +00:00
Jérôme Vouillon 9198297d2a Composants mis dans le meme ordre que dans ctype.ml 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1347 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-08 22:04:36 +00:00
Jérôme Vouillon faa7f35ec9 Ctype.make_nongen applique egalement sur le type des expressions 
toplevel non generalisable, afin que les niveaux soient corrects lors
des appels de Ctype.moregeneral durant l'affichage du resultat de
l'evaluation.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-08 22:03:32 +00:00
Xavier Leroy b72e959744 Suppression du ; optionnel, trop ambigu. La syntaxe est suffisamment confuse comme ca. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1340 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-08 12:14:57 +00:00
Jérôme Vouillon 4dd64117e7 Info de debugage oubliee... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1339 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 23:20:13 +00:00
Jérôme Vouillon 9ef5d04c53 check_nongen_schemes generalise egalement completement les types (tous les 
niveaux mis a generique).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 22:54:04 +00:00
Jérôme Vouillon 57fcf1fe2b Ctype.expand_root renomme en Ctype.expand_head 
Ctype.closed_schema prend un parametre supplementaire (possibilite de
generaliser completement un type au passage)
Fonction is_generic et exception Nonlinear_abbrev supprimees


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 22:49:24 +00:00
Jérôme Vouillon 7c9257ee69 Plus de compression de chemin dans repr 
Correction d'un bug de update_level
Ctype.expand_root renomme en Ctype.expand_head
Nettoyage de occur
Nettoyage (partiel) de moregeneral
Nettoyage de closed_schema. Prend maintenant un parametre
supplementaire (possibilite de generaliser completement un type au
passage)
Fonction is_generic et exception Nonlinear_abbrev supprimees


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1336 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 22:44:02 +00:00
Jérôme Vouillon b40b97137e Ctype.expand_root renomme en Ctype.expand_head 
Les contraintes doivent etre de la forme 'a = t ou 'a est
effectivement un parametre
Ctype.closed_schema a un parametre supplementaire


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1334 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 22:42:48 +00:00
Jérôme Vouillon ce62aef99a Les contraintes doivent etre de la forme 'a = t ou 'a est 
effectivement un parametre


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1333 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 22:31:33 +00:00
Jérôme Vouillon 3a88e177ed L'alias (t as 'a) peut etre utilise avec tout type t (pas seulement 
objet et type construit).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 22:26:29 +00:00
Jérôme Vouillon 2a44439fcd Les identificateurs n'etaient pas identifies "dans le bon sens". 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1330 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 22:12:23 +00:00
Jérôme Vouillon 48991be706 Bug de generalisation. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1329 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-03-07 22:00:19 +00:00
Jérôme Vouillon a4eea9ac45 Les parametres des constructeurs de types peuvent etres 
contraints. Par exemple :
  type 'a t = 'b * 'c constraint 'a = 'b -> 'c


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-02-20 20:39:02 +00:00
Daniel de Rauglaudre cc9c2b8841 - Ajout type "any" 
- Test compatibilite version AST avec preprocesseur


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1262 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-02-11 18:24:47 +00:00
Pierre Weis a6c6120f14 Changement des boi^tes de pretty-print 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1257 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-02-04 08:03:29 +00:00
Jérôme Vouillon c343ab7991 Quelques petits changements... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1248 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-01-24 20:54:56 +00:00
Jérôme Vouillon b85a7d45f5 Correction de bugs. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1247 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-01-23 12:46:46 +00:00
Jérôme Vouillon 6c452fe5f5 Modification de la maniere dont l'expansion des abbreviations est 
memorisee.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1245 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-01-21 17:43:53 +00:00
Jérôme Vouillon 66d9d41861 Encore des modifications de Ctype. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1244 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-01-21 13:38:42 +00:00
Jérôme Vouillon 9b2a6f0119 Debut de simplification de Ctype. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1997-01-20 17:11:47 +00:00
Xavier Leroy 3b92524aa9 Ajout du support pour le debugger 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-11-29 18:36:42 +00:00
Xavier Leroy c226d38b4f Dans les declarations de la forme 
type t = t' = A of ... | B of ...
substituer t par t' dans les ... afin de comparer correctement les
definitions de t et t' meme si elles sont recursives.
Aussi: meilleure verification que t et t' ont les memes parametres.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-11-13 15:32:07 +00:00
Pierre Weis 975c4742fa Gestion des boi^tes ? 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1179 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-11-08 13:38:34 +00:00
Xavier Leroy bfa250606e Misc.lowercase -> String.uncapitalize 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1130 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-31 16:03:27 +00:00
Jérôme Vouillon ffcad91131 Unification sous prefixe : le test d'occurence ne traverse pas tout le 
type. Il faut donc utiliser une fonction a part : `check_level'


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-28 17:51:55 +00:00
Jérôme Vouillon 6fbd844af1 `build_supertype' inutilise. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1111 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-27 09:43:07 +00:00
Jérôme Vouillon d8ef8e4915 Type de methode maintenant optionnel dans interface de classe (permet 
de passer de virtual a method sans avoir a preciser le type).


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1110 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-26 22:06:22 +00:00
Jérôme Vouillon 5c6cd7912c Correction d'un bug des classes recursives dans une interface. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1107 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-26 20:16:31 +00:00
Jérôme Vouillon 352a42e6b6 Message d'erreur correct pour `(1 : int :> bool)'. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1106 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-26 19:39:26 +00:00
Jérôme Vouillon 2462e1c7e2 Equivalent de type_expect pour les methodes. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1105 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-26 16:44:51 +00:00
Jérôme Vouillon 845e4b0563 Revision de la fonction `occur' : accepte de nouveau les recursions a 
travers des types construits qui ne sont pas des abreviations (e.g.:
unification de 'a list avec 'a).
Gestion correcte des abreviations du genre 'a t = int.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1101 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-26 15:43:02 +00:00
Jérôme Vouillon ed9ca92aa8 Pour les sous-typage, il faut differencier les variables "libres" des 
alias.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1100 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-26 15:36:11 +00:00
Jérôme Vouillon 64c80892fc Bug dans check_unique_names : les classes produisent des abreviations... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-25 21:34:25 +00:00
Xavier Leroy e4626b17e3 Meilleur traitement des abreviations dans Ctype.moregen et Ctype.moregen_occur 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1098 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-25 13:40:04 +00:00
Jérôme Vouillon dfaf68d43f Typos. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1062 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-08 17:12:42 +00:00
Xavier Leroy c540d67fde Deplacement d'un try...with dans expand_abbrev. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1041 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-10-01 09:47:18 +00:00
Xavier Leroy 460673ebe1 Gestion des niveaux de variables revue dans les declarations de types. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1021 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-24 15:45:58 +00:00
Jérôme Vouillon f82b5566e4 Garder autant que possible une abreviation lors de l'unification de 
deux types #xxx.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-23 17:15:59 +00:00
Jérôme Vouillon 2820a6f438 Interfaces de classes : normalisation des abreviations (unroll_abbrev). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1013 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-23 15:59:25 +00:00
Jérôme Vouillon 3de964308c Bug de lecture des types classes #xxx corrige. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-23 15:58:05 +00:00
Jérôme Vouillon 8ebda1067b Correction d'un bug de moregeneral. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1011 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-23 15:57:00 +00:00
Xavier Leroy 033ec5b736 Decoupage du module Typedtree en deux: Types et Typedtree. 
Sauver l'environnement de typage en plus du type dans les a.s.t. de Typedtree.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1008 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-23 11:33:27 +00:00
Jérôme Vouillon 1acce46d66 Un argument etait inutilise dans linear_abbrev. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-21 12:02:42 +00:00
Jérôme Vouillon 1a196e07ea Reecriture de correct_abbrev, qui etait beaucoup trop lent dans 
certains cas.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1000 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-20 21:29:50 +00:00
Jérôme Vouillon 55bac22ba5 Ctype.init_def manquant pour typage des interfaces de classes. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-09-20 21:28:13 +00:00
Jérôme Vouillon 872ef330f4 open_hovbox remplace par open_box 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@945 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-08-13 15:07:44 +00:00
Jérôme Vouillon 7d0913093b Affichage de type recursif qui bouclait. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@944 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-08-13 15:04:24 +00:00
Xavier Leroy df42185ca0 Typage plus strict de "SIG with ..." 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@943 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-07-25 13:18:53 +00:00
Xavier Leroy 3ed970ddd8 Bug d'unification sous prefixe dans le typage des signatures. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-07-18 08:33:23 +00:00
Xavier Leroy 3b14330560 Ident: ajout de Ident.iter. 
Autres: unification sous prefixe lors de l'inference de types, corrige
le bug de Russo:
let x = ref [];; module F(X) = struct type t let _ = (x:t list ref) ... end;;


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@930 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-07-15 16:35:35 +00:00
Jérôme Vouillon c5bbe99551 Correction d'un bug (occur check qui bouclait parfois). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@867 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-06-10 11:26:54 +00:00
Jérôme Vouillon eae90e28b1 Methodes concretes representees par Set.t plutot que string list. 
Correction d'un bug au passage.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@859 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-06-03 16:26:27 +00:00
Jérôme Vouillon 6366bf1239 Bug : pas de verification du nombre de parametres de type lors de 
l'heritage dans les class types...


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@858 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-31 12:33:59 +00:00
Xavier Leroy b2d9978b17 Erreur dans la "location" de if...then...else 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@857 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-31 12:30:26 +00:00
Jérôme Vouillon 2a073e5ee9 Comparaison de la longeur des listes avant de faire List.iter2. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@856 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-31 12:27:03 +00:00
Jérôme Vouillon 012f9feca5 Modification du calcul d'un sous-type pour (e :> t). 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@849 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-28 14:30:52 +00:00
Jérôme Vouillon ed1cdeebcf Amelioration de quelques messages d'erreur. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@840 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-26 13:42:34 +00:00
Xavier Leroy d4335c35dc typecore: indentation... 
typemod: traitement plus souple des variables non generalisees.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@835 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-22 16:22:33 +00:00
Jérôme Vouillon d6770a9231 Amelioration des messages d'erreurs d'unification (expansion des 
abbreviations).
Typeclass: correction d'un bug de typage.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@828 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-20 16:43:29 +00:00
Jérôme Vouillon 064465320e Nettoyage : Label.t remplace par string. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@824 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-16 16:10:16 +00:00
Xavier Leroy 77d13ee8d2 Printtyp: simplifications. 
Subst: attention aux conflits entre variables substituees et variables liees


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@819 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-16 14:16:34 +00:00
Jérôme Vouillon 1acf888842 Correction de l'affichage des types de classes. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@812 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-14 15:41:13 +00:00
Jérôme Vouillon 7ca9675878 type_mutable et type_immutable ne sont plus utilises. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@811 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-14 15:40:00 +00:00
Jérôme Vouillon de40cbf0b6 On peut maintenant masquer des variables d'instances dans les interfaces. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@810 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-14 15:38:36 +00:00
Jérôme Vouillon 6de5fc3e39 Il faut prendre des instances des types predefinis et non les utiliser 
directement...


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@809 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-13 12:19:20 +00:00
Xavier Leroy 3f1e6a86e7 Utiliser des vbox au lieu de hvbox pour les classes. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-05-07 08:15:26 +00:00
Xavier Leroy 2301d778e7 Renommage en Objective Caml 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-04-30 14:53:58 +00:00
Xavier Leroy d4d799ee8f Rendons a Cesar... 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-04-29 13:24:25 +00:00
Jérôme Vouillon bc19852852 Modification de la syntaxe des classe. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@760 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-04-25 10:35:04 +00:00
Jérôme Vouillon 7974a9d8b1 Extension objets. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@756 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-04-22 11:15:41 +00:00
Xavier Leroy 93f450d403 Correction du test d'equivalence entre deux declarations de modtypes 
manifestes. (Double inclusion + coercions triviales.)


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-02-22 10:23:33 +00:00
Xavier Leroy a76589a552 Meilleur message d'erreur pour Illegal_renaming. 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 1996-02-20 11:01:45 +00:00