Jérôme Vouillon ffcad91131 Unification sous prefixe : le test d'occurence ne traverse pas tout le ... type. Il faut donc utiliser une fonction a part : `check_level' git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1113 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02		1996-10-28 17:51:55 +00:00
..
ctype.ml	Unification sous prefixe : le test d'occurence ne traverse pas tout le	1996-10-28 17:51:55 +00:00
ctype.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
datarepr.ml	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
datarepr.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
env.ml	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
env.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
ident.ml	Ident: ajout de Ident.iter.	1996-07-15 16:35:35 +00:00
ident.mli	Ident: ajout de Ident.iter.	1996-07-15 16:35:35 +00:00
includecore.ml	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
includecore.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
includemod.ml	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
includemod.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
mtype.ml	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
mtype.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
parmatch.ml	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +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	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
predef.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
primitive.ml	Renommage en Objective Caml	1996-04-30 14:53:58 +00:00
primitive.mli	Renommage en Objective Caml	1996-04-30 14:53:58 +00:00
printtyp.ml	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
printtyp.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
subst.ml	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
subst.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
typeclass.ml	Type de methode maintenant optionnel dans interface de classe (permet	1996-10-26 22:06:22 +00:00
typeclass.mli	Type de methode maintenant optionnel dans interface de classe (permet	1996-10-26 22:06:22 +00:00
typecore.ml	Equivalent de type_expect pour les methodes.	1996-10-26 16:44:51 +00:00
typecore.mli	Equivalent de type_expect pour les methodes.	1996-10-26 16:44:51 +00:00
typedecl.ml	Gestion des niveaux de variables revue dans les declarations de types.	1996-09-24 15:45:58 +00:00
typedecl.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
typedtree.ml	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
typedtree.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
typemod.ml	Bug dans check_unique_names : les classes produisent des abreviations...	1996-10-25 21:34:25 +00:00
typemod.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
types.ml	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
types.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00
typetexp.ml	Pour les sous-typage, il faut differencier les variables "libres" des	1996-10-26 15:36:11 +00:00
typetexp.mli	Decoupage du module Typedtree en deux: Types et Typedtree.	1996-09-23 11:33:27 +00:00