diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-08-08 06:58:58 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2001-08-08 06:58:58 +0000 |
| commit | fbe4ff190f54f2ba158f8c8404629d49076144d6 (patch) | |
| tree | 5afc5179aba4147b61b1c4e6d033e0fdba4c507c /typing/printtyp.mli | |
| parent | 1480f1d60efb9e721ae7822c14c9eba993589afd (diff) | |
| download | ocaml-fbe4ff190f54f2ba158f8c8404629d49076144d6.tar.gz | |
corrige bug PR#449
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3620 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/printtyp.mli')
| -rw-r--r-- | typing/printtyp.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/typing/printtyp.mli b/typing/printtyp.mli index d4ff1fd265..247910be17 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -56,6 +56,9 @@ val report_unification_error: formatter -> (type_expr * type_expr) list -> (formatter -> unit) -> (formatter -> unit) -> unit +val report_subtyping_error: + formatter -> (type_expr * type_expr) list -> + string -> (type_expr * type_expr) list -> unit val outcome_type: (formatter -> out_type -> unit) ref val outcome_sig_item: (formatter -> out_sig_item -> unit) ref |