diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-02-13 11:09:19 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2002-02-13 11:09:19 +0000 |
| commit | 50161b75132ac838a6872e2d865b080ed776be61 (patch) | |
| tree | 572d8937672b8164e13c72acc6fbbc11750f351a /typing/printtyp.mli | |
| parent | 7dbdc937ded6c997e5097036b7c4a48574d4880d (diff) | |
| download | ocaml-50161b75132ac838a6872e2d865b080ed776be61.tar.gz | |
Regroupement des impressions "outcometree" dans un seul module oprint.ml.
Ajout de hooks de print dans toploop.mli.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4396 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/printtyp.mli')
| -rw-r--r-- | typing/printtyp.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/typing/printtyp.mli b/typing/printtyp.mli index ca08cba457..45d8762282 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -64,7 +64,3 @@ val report_unification_error: 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 -val outcome_signature: (formatter -> out_sig_item list -> unit) ref |