diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-07 22:49:24 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-07 22:49:24 +0000 |
| commit | 57fcf1fe2b67a632834cd47c44b728192a057b83 (patch) | |
| tree | e1f67a9544bda60a5d1aef824a5cd033132c34fa | |
| parent | 7c9257ee69582b7a0fb131dc450afe00779c1fe3 (diff) | |
Ctype.expand_root renomme en Ctype.expand_head
Ctype.closed_schema prend un parametre supplementaire (possibilite de
generaliser completement un type au passage)
Fonction is_generic et exception Nonlinear_abbrev supprimees
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1337 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/ctype.mli | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/typing/ctype.mli b/typing/ctype.mli index 1aef1db29..632fe763a 100644 --- a/typing/ctype.mli +++ b/typing/ctype.mli @@ -63,7 +63,7 @@ val expand_abbrev: int -> type_expr (* Expand an abbreviation *) val full_expand: Env.t -> type_expr -> type_expr -val expand_root: Env.t -> type_expr -> type_expr +val expand_head: Env.t -> type_expr -> type_expr val occur: Env.t -> type_expr -> type_expr -> unit (* [occur env var ty] Raise [Unify] if [var] occurs in [ty] *) val unify: Env.t -> type_expr -> type_expr -> unit @@ -86,7 +86,7 @@ val subtype : Env.t -> type_expr -> type_expr -> unit -> unit It accumulates the constraints the type variables must enforce and returns a function that inforce this constraints. *) -val closed_schema: type_expr -> bool +val closed_schema: bool -> type_expr -> bool type closed_schema_result = Var of type_expr | Row_var of type_expr val closed_schema_verbose: type_expr -> closed_schema_result option (* Check whether the given type scheme contains no non-generic @@ -109,8 +109,6 @@ val remove_object_name: type_expr -> unit val correct_abbrev: Env.t -> Ident.t -> type_expr list -> type_expr -> unit val unalias: type_expr -> type_expr val unroll_abbrev: Ident.t -> type_expr list -> type_expr -> type_expr -val is_generic: type_expr -> bool - (* Test whether the given type variable is generic *) val arity: type_expr -> int (* Return the arity (as for curried functions) of the given type. *) val none: type_expr @@ -120,5 +118,4 @@ exception Unify of (type_expr * type_expr) list exception Subtype of (type_expr * type_expr) list * (type_expr * type_expr) list exception Cannot_expand -exception Nonlinear_abbrev exception Recursive_abbrev |