| .. |
|
btype.ml
|
revert to try_expand_head in Ctype.occur_rec (bug report by skaller)
|
2003-08-09 11:47:57 +00:00 |
|
btype.mli
|
fix PR#1559
|
2003-05-19 09:21:17 +00:00 |
|
ctype.ml
|
must cleanup_abbrev in matches
|
2003-08-09 12:09:11 +00:00 |
|
ctype.mli
|
fix PR#1744
|
2003-07-08 10:01:10 +00:00 |
|
datarepr.ml
|
Revu representation des declarations de type private
|
2003-07-02 09:14:35 +00:00 |
|
datarepr.mli
|
Revu representation des declarations de type private
|
2003-07-02 09:14:35 +00:00 |
|
env.ml
|
Revu representation des declarations de type private
|
2003-07-02 09:14:35 +00:00 |
|
env.mli
|
- Revu en profondeur la verification des CRC d'interfaces.
|
2002-11-17 16:42:12 +00:00 |
|
ident.ml
|
Reinitialiser le gensym de Ident entre 2 compilations (PR#1618)
|
2003-05-12 09:34:05 +00:00 |
|
ident.mli
|
Reinitialiser le gensym de Ident entre 2 compilations (PR#1618)
|
2003-05-12 09:34:05 +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 representation des declarations de type private
|
2003-07-02 09:14:35 +00:00 |
|
includecore.mli
|
Changement de la licence
|
1999-11-17 18:59:06 +00:00 |
|
includemod.ml
|
Bug dans sous-typage entre foncteurs (PR#1780)
|
2003-07-27 17:02:33 +00:00 |
|
includemod.mli
|
Revu les impressions du compilateur
|
2000-03-06 22:12:09 +00:00 |
|
mtype.ml
|
Detection des abreviations de types mal formees introduites par 'module rec'
|
2003-07-01 13:05:43 +00:00 |
|
mtype.mli
|
Detection des abreviations de types mal formees introduites par 'module rec'
|
2003-07-01 13:05:43 +00:00 |
|
oprint.ml
|
Meilleure impression des flottants (PR#1778, PR#1781)
|
2003-07-29 09:11:13 +00:00 |
|
oprint.mli
|
ajoute interface pour oprint
|
2002-02-13 12:17:56 +00:00 |
|
outcometree.mli
|
Revu representation des declarations de type private
|
2003-07-02 09:14:35 +00:00 |
|
parmatch.ml
|
Revu representation des declarations de type private
|
2003-07-02 09:14:35 +00:00 |
|
parmatch.mli
|
Nouveaux warning dans les or-pats
|
2002-05-24 14:34:37 +00:00 |
|
path.ml
|
Detection des abreviations de types mal formees introduites par 'module rec'
|
2003-07-01 13:05:43 +00:00 |
|
path.mli
|
Detection des abreviations de types mal formees introduites par 'module rec'
|
2003-07-01 13:05:43 +00:00 |
|
predef.ml
|
Renommage type format -> format4 et reintroduction type format a 3 arguments pour compatibilite arriere
|
2003-07-05 11:13:24 +00:00 |
|
predef.mli
|
Renommage type format -> format4 et reintroduction type format a 3 arguments pour compatibilite arriere
|
2003-07-05 11:13:24 +00:00 |
|
primitive.ml
|
Ajouté personalisation de l'affichage des items de signature dans le toplevel
|
2001-08-06 12:28:50 +00:00 |
|
primitive.mli
|
Ajouté personalisation de l'affichage des items de signature dans le toplevel
|
2001-08-06 12:28:50 +00:00 |
|
printtyp.ml
|
Revu representation des declarations de type private
|
2003-07-02 09:14:35 +00:00 |
|
printtyp.mli
|
Regroupement des impressions "outcometree" dans un seul module oprint.ml.
|
2002-02-13 11:09:19 +00:00 |
|
stypes.ml
|
dump des types dans l'ordre postfixe
|
2003-07-25 18:00:40 +00:00 |
|
stypes.mli
|
RAZ des variables de types pour .annot
|
2003-07-23 16:52:41 +00:00 |
|
subst.ml
|
fix PR#1591
|
2003-07-22 10:58:39 +00:00 |
|
subst.mli
|
normalize for multiple files and trim cmi size
|
2002-04-04 22:19:02 +00:00 |
|
typeclass.ml
|
better message for PR#1412
|
2003-07-22 09:00:01 +00:00 |
|
typeclass.mli
|
Merge branch with recursive modules
|
2003-06-19 15:53:53 +00:00 |
|
typecore.ml
|
Renommage type format -> format4 et reintroduction type format a 3 arguments pour compatibilite arriere
|
2003-07-05 11:13:24 +00:00 |
|
typecore.mli
|
Revu representation des declarations de type private
|
2003-07-02 09:14:35 +00:00 |
|
typedecl.ml
|
MAJ d'un commentaire
|
2003-07-03 14:35:35 +00:00 |
|
typedecl.mli
|
Detection des abreviations de types mal formees introduites par 'module rec'
|
2003-07-01 13:05:43 +00:00 |
|
typedtree.ml
|
Merge branch with recursive modules
|
2003-06-19 15:53:53 +00:00 |
|
typedtree.mli
|
Merge branch with recursive modules
|
2003-06-19 15:53:53 +00:00 |
|
typemod.ml
|
RAZ des variables de types pour .annot
|
2003-07-23 16:52:41 +00:00 |
|
typemod.mli
|
Pour l'option -pack, permettre de donner une interface explicite (via un .mli) au module synthetise
|
2003-03-06 15:59:55 +00:00 |
|
types.ml
|
Revu representation des declarations de type private
|
2003-07-02 09:14:35 +00:00 |
|
types.mli
|
Revu representation des declarations de type private
|
2003-07-02 09:14:35 +00:00 |
|
typetexp.ml
|
coherent handling of type declarations
|
2003-06-30 08:04:42 +00:00 |
|
typetexp.mli
|
fix PR#1559
|
2003-05-19 09:21:17 +00:00 |
fec4c52bba