| .. |
|
btype.ml
|
enforce uniqueness of typing in label mode
|
2001-04-19 08:34:21 +00:00 |
|
btype.mli
|
enforce uniqueness of typing in label mode
|
2001-04-19 08:34:21 +00:00 |
|
ctype.ml
|
subtype when self appears in a parameter
|
2001-06-08 15:24:34 +00:00 |
|
ctype.mli
|
ajout d'un champ filtrage a Reither
|
2001-03-03 00:14:35 +00:00 |
|
datarepr.ml
|
Revu la gestion des records de flottants
|
2000-03-21 14:43:25 +00:00 |
|
datarepr.mli
|
Revu la gestion des records de flottants
|
2000-03-21 14:43:25 +00:00 |
|
env.ml
|
Amelioration du message d'erreur 'inconsistent assumptions'
|
2000-04-10 14:59:00 +00:00 |
|
env.mli
|
Ajout de crc_of_unit
|
2000-03-26 15:49:08 +00:00 |
|
ident.ml
|
Getting rid of obsolete boolean operators & and or
|
2000-12-28 13:07:42 +00:00 |
|
ident.mli
|
Ajout de Ident.rename
|
2000-05-16 06:27:44 +00:00 |
|
includeclass.ml
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
includeclass.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
includecore.ml
|
ne comparer les variances que pour les types abstraits (PR#299)
|
2001-03-04 14:39:18 +00:00 |
|
includecore.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
|
includemod.ml
|
Getting rid of obsolete boolean operators & and or
|
2000-12-28 13:07:42 +00:00 |
|
includemod.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
mtype.ml
|
ajout des variances
|
2000-09-06 10:21:07 +00:00 |
|
mtype.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
|
parmatch.ml
|
bug 342 (records dans les orpats)
|
2001-04-23 09:29:22 +00:00 |
|
parmatch.mli
|
optimsation pm a donf
|
2001-02-19 20:27:52 +00:00 |
|
path.ml
|
Getting rid of obsolete boolean operators & and or
|
2000-12-28 13:07:42 +00:00 |
|
path.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
|
predef.ml
|
fix -noassert pour que le typage des assertions soit toujours fait
|
2000-12-04 15:37:05 +00:00 |
|
predef.mli
|
fix -noassert pour que le typage des assertions soit toujours fait
|
2000-12-04 15:37:05 +00:00 |
|
primitive.ml
|
Le module Ident passe a Format.
|
2000-03-13 16:49:01 +00:00 |
|
primitive.mli
|
Le module Ident passe a Format.
|
2000-03-13 16:49:01 +00:00 |
|
printtyp.ml
|
enforce uniqueness of typing in label mode
|
2001-04-19 08:34:21 +00:00 |
|
printtyp.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
subst.ml
|
enforce uniqueness of typing in label mode
|
2001-04-19 08:34:21 +00:00 |
|
subst.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
|
typeclass.ml
|
PR #360
|
2001-05-22 03:38:52 +00:00 |
|
typeclass.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
typecore.ml
|
enforce uniqueness of typing in label mode
|
2001-04-19 08:34:21 +00:00 |
|
typecore.mli
|
enforce uniqueness of typing in label mode
|
2001-04-19 08:34:21 +00:00 |
|
typedecl.ml
|
enforce uniqueness of typing in label mode
|
2001-04-19 08:34:21 +00:00 |
|
typedecl.mli
|
change variance syntax
|
2000-09-07 10:57:32 +00:00 |
|
typedtree.ml
|
fix -noassert pour que le typage des assertions soit toujours fait
|
2000-12-04 15:37:05 +00:00 |
|
typedtree.mli
|
fix -noassert pour que le typage des assertions soit toujours fait
|
2000-12-04 15:37:05 +00:00 |
|
typemod.ml
|
Petits bugs dans la verification de l'unicite des noms de composantes (PR#296)
|
2001-03-05 12:59:23 +00:00 |
|
typemod.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
types.ml
|
enforce uniqueness of typing in label mode
|
2001-04-19 08:34:21 +00:00 |
|
types.mli
|
enforce uniqueness of typing in label mode
|
2001-04-19 08:34:21 +00:00 |
|
typetexp.ml
|
enforce uniqueness of typing in label mode
|
2001-04-19 08:34:21 +00:00 |
|
typetexp.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
1541966f30