| .. |
|
btype.ml
|
Revu la gestion des records de flottants
|
2000-03-21 14:43:25 +00:00 |
|
btype.mli
|
Merge olabl branch
|
1999-11-30 16:07:38 +00:00 |
|
ctype.ml
|
clean-up variant typing to recover principality
|
2000-05-12 18:22:35 +00:00 |
|
ctype.mli
|
do not allow conjunctive types in patterns (PR#109)
|
2000-05-12 02:52:55 +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
|
Ajout de Ident.rename
|
2000-05-16 06:27:44 +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
|
Revu la gestion des records de flottants
|
2000-03-21 14:43:25 +00:00 |
|
includecore.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
|
includemod.ml
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
includemod.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
mtype.ml
|
Mtype.scrape recursif
|
1999-11-25 16:47:47 +00:00 |
|
mtype.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
|
parmatch.ml
|
Revu la gestion des records de flottants
|
2000-03-21 14:43:25 +00:00 |
|
parmatch.mli
|
Merge olabl branch
|
1999-11-30 16:07:38 +00:00 |
|
path.ml
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
|
path.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
|
predef.ml
|
Ajout des types predefinis int32, int64, nativeint.
|
2000-02-21 18:14:56 +00:00 |
|
predef.mli
|
Ajout des types predefinis int32, int64, nativeint.
|
2000-02-21 18:14:56 +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
|
N'imprimer la marque "_" que si le type _reel_ est une variable.
|
2000-05-15 00:52:09 +00:00 |
|
printtyp.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
subst.ml
|
Revu substitution des signatures et modtypes pour eviter les captures de variables
|
2000-05-16 06:28:21 +00:00 |
|
subst.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
|
typeclass.ml
|
nouvelle syntaxe avec tilde
|
2000-04-12 03:43:25 +00:00 |
|
typeclass.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
typecore.ml
|
clean-up variant typing to recover principality
|
2000-05-12 18:22:35 +00:00 |
|
typecore.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
typedecl.ml
|
On peut mettre autant de constructeurs constants que l'on veut, seul le nombre de constructeurs nonconst est limite par Config.max_tag (PR#117, PR#118)
|
2000-05-22 08:24:05 +00:00 |
|
typedecl.mli
|
Ajout du renommage d'exceptions
|
2000-03-12 13:10:29 +00:00 |
|
typedtree.ml
|
Ajout du renommage d'exceptions
|
2000-03-12 13:10:29 +00:00 |
|
typedtree.mli
|
Ajout du renommage d'exceptions
|
2000-03-12 13:10:29 +00:00 |
|
typemod.ml
|
Option -i.
|
2000-04-25 11:47:14 +00:00 |
|
typemod.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
types.ml
|
Revu la gestion des records de flottants
|
2000-03-21 14:43:25 +00:00 |
|
types.mli
|
Revu la gestion des records de flottants
|
2000-03-21 14:43:25 +00:00 |
|
typetexp.ml
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
typetexp.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
833eb26c39