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

154 Commits (cc1afe62cd4407d35604e9823aeacd8ee1540e45)

Author SHA1 Message Date
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