diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-12-01 00:32:11 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-12-01 00:32:11 +0000 |
| commit | 31b6a1f58a00e880ed7b52ad06cbeae6478d91b7 (patch) | |
| tree | f9a3b7139c50226cd059c1a66a72dba4e1af2489 /typing/typeclass.mli | |
| parent | e0d554119941c6fd0852feee85681bd3e5feb1ad (diff) | |
| download | ocaml-31b6a1f58a00e880ed7b52ad06cbeae6478d91b7.tar.gz | |
export
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5989 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/typeclass.mli')
| -rw-r--r-- | typing/typeclass.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/typeclass.mli b/typing/typeclass.mli index ae7d4325ea..b26b9e72e7 100644 --- a/typing/typeclass.mli +++ b/typing/typeclass.mli @@ -45,6 +45,8 @@ val approx_class_declarations: Ident.t * type_declaration * Ident.t * type_declaration) list +val virtual_methods: Types.class_signature -> label list + type error = Unconsistent_constraint of (type_expr * type_expr) list | Method_type_mismatch of string * (type_expr * type_expr) list |