Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
ocaml/typing
History
Xavier Leroy 877b49ccca nondep_supertype ne se permet plus de faire disparaitre des 
composantes de structure en position covariante. On se permet quand
meme de transformer type t = ty en type t, comme en SML.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
 		1995-10-17 10:02:47 +00:00
..
ctype.ml Possibilite de rendre manifestes des types variant ou record 1995-09-26 20:23:29 +00:00
ctype.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
datarepr.ml Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
datarepr.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
env.ml Meilleur message d'erreur dans Env quand .cmi pas trouve. 1995-10-09 17:39:41 +00:00
env.mli Meilleur message d'erreur dans Env quand .cmi pas trouve. 1995-10-09 17:39:41 +00:00
ident.ml ident: identify rend aussi egaux les noms en plus des stamps 1995-10-05 12:29:40 +00:00
ident.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
includecore.ml Possibilite de rendre manifestes des types variant ou record 1995-09-26 20:23:29 +00:00
includecore.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
includemod.ml Affichage des erreurs dans l'ordre inverse. 1995-09-04 12:07:32 +00:00
includemod.mli Meilleur traitement des variables non generalisables. 1995-09-02 18:55:37 +00:00
mtype.ml nondep_supertype ne se permet plus de faire disparaitre des 1995-10-17 10:02:47 +00:00
mtype.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
parmatch.ml Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
parmatch.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
path.ml Foncteurs applicatifs. 1995-08-23 11:55:54 +00:00
path.mli Foncteurs applicatifs. 1995-08-23 11:55:54 +00:00
predef.ml Possibilite de rendre manifestes des types variant ou record 1995-09-26 20:23:29 +00:00
predef.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
primitive.ml Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
primitive.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
printtyp.ml Possibilite de rendre manifestes des types variant ou record 1995-09-26 20:23:29 +00:00
printtyp.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
subst.ml Possibilite de rendre manifestes des types variant ou record 1995-09-26 20:23:29 +00:00
subst.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
typecore.ml ident: identify rend aussi egaux les noms en plus des stamps 1995-10-05 12:29:40 +00:00
typecore.mli ident: identify rend aussi egaux les noms en plus des stamps 1995-10-05 12:29:40 +00:00
typedecl.ml Cas particulier pour "type t = t" 1995-10-03 14:06:45 +00:00
typedecl.mli Contraintes "with" revues. 1995-09-28 10:42:38 +00:00
typedtree.ml Possibilite de rendre manifestes des types variant ou record 1995-09-26 20:23:29 +00:00
typedtree.mli Possibilite de rendre manifestes des types variant ou record 1995-09-26 20:23:29 +00:00
typemod.ml Moins de contraintes sur with type 1995-10-09 12:13:42 +00:00
typemod.mli Moins de contraintes sur with type 1995-10-09 12:13:42 +00:00
typetexp.ml Ajout des notices de copyright 1995-08-09 15:06:35 +00:00
typetexp.mli Ajout des notices de copyright 1995-08-09 15:06:35 +00:00