ocaml/typing
Xavier Leroy 2a34e4305d Meilleur affichage des val infix
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1983 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1998-06-11 12:52:32 +00:00
..
btype.ml Methodes privees. 1997-05-11 21:48:21 +00:00
btype.mli Methodes privees. 1997-05-11 21:48:21 +00:00
ctype.ml Bug occur-check 1997-11-18 15:14:56 +00:00
ctype.mli expand_abbrev n'est plus exporte par Ctype. 1997-06-29 13:16:47 +00:00
datarepr.ml deTABisation 1997-05-19 15:42:21 +00:00
datarepr.mli Decoupage du module Typedtree en deux: Types et Typedtree. 1996-09-23 11:33:27 +00:00
env.ml deTABisation 1997-05-19 15:42:21 +00:00
env.mli Env: dans un .cmi, sauver non seulement le CRC du .cmi mais aussi ceux 1997-05-15 13:30:02 +00:00
ident.ml ident.ml: suppression du dernier matching non exhaustif 1997-10-31 13:02:30 +00:00
ident.mli Suppression de Ident.identity. 1997-03-10 00:23:53 +00:00
includecore.ml Methodes privees. 1997-05-11 21:48:21 +00:00
includecore.mli deTABisation 1997-05-19 15:42:21 +00:00
includemod.ml deTABisation 1997-05-19 15:42:21 +00:00
includemod.mli Erreur Class_type renommee en Class_types. 1997-03-10 00:25:52 +00:00
mtype.ml deTABisation 1997-05-19 15:42:21 +00:00
mtype.mli Decoupage du module Typedtree en deux: Types et Typedtree. 1996-09-23 11:33:27 +00:00
parmatch.ml Ajout des motifs de tableaux 1998-04-06 09:23:01 +00:00
parmatch.mli Renommage en Objective Caml 1996-04-30 14:53:58 +00:00
path.ml Ident: ajout de Ident.iter. 1996-07-15 16:35:35 +00:00
path.mli Ident: ajout de Ident.iter. 1996-07-15 16:35:35 +00:00
predef.ml Env: dans un .cmi, sauver non seulement le CRC du .cmi mais aussi ceux 1997-05-15 13:30:02 +00:00
predef.mli Decoupage du module Typedtree en deux: Types et Typedtree. 1996-09-23 11:33:27 +00:00
primitive.ml typeclass: manque un () apres ; 1997-05-13 14:07:00 +00:00
primitive.mli typeclass: manque un () apres ; 1997-05-13 14:07:00 +00:00
printtyp.ml Meilleur affichage des val infix 1998-06-11 12:52:32 +00:00
printtyp.mli Decoupage du module Typedtree en deux: Types et Typedtree. 1996-09-23 11:33:27 +00:00
subst.ml deTABisation 1997-05-19 15:42:21 +00:00
subst.mli Pas besoin de Env.level et Subst.limit_level finalement... 1997-03-24 20:12:33 +00:00
typeclass.ml Bug dans test de virtualite d\'une classe 1997-09-22 14:47:48 +00:00
typeclass.mli Les parametres des constructeurs de types peuvent etres 1997-02-20 20:39:02 +00:00
typecore.ml Ajout de l'extension de records {r with lbl=expr} 1998-04-27 15:17:11 +00:00
typecore.mli Ajout de let module = <modulexpr> in <expr> 1998-02-26 12:54:44 +00:00
typedecl.ml Ajout de let module = <modulexpr> in <expr> 1998-02-26 12:54:44 +00:00
typedecl.mli typeclass: manque un () apres ; 1997-05-13 14:07:00 +00:00
typedtree.ml Ajout de l'extension de records {r with lbl=expr} 1998-04-27 15:17:11 +00:00
typedtree.mli Ajout de l'extension de records {r with lbl=expr} 1998-04-27 15:17:11 +00:00
typemod.ml Ajout option "-intf_suffix" pour spécifier le suffixe de l'interface 1998-05-27 14:11:25 +00:00
typemod.mli Composer les passes du compilateur avec ++ pour eviter de garder des pointeurs vers des structures inutilisees 1998-04-27 15:16:48 +00:00
types.ml deTABisation 1997-05-19 15:42:21 +00:00
types.mli deTABisation 1997-05-19 15:42:21 +00:00
typetexp.ml expand_abbrev n'est plus exporte par Ctype. 1997-06-29 13:16:47 +00:00
typetexp.mli Les parametres des constructeurs de types peuvent etres 1997-02-20 20:39:02 +00:00