diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-06 22:12:09 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-06 22:12:09 +0000 |
| commit | b96208b7a247cbb6d9d162fbfaf54448af33589c (patch) | |
| tree | a63fb52f6e36ca47129637586cf6d0fd3d576733 /typing/includeclass.mli | |
| parent | a56ae9a35f7cb4b5ccd128c2b9610b4913d71331 (diff) | |
| download | ocaml-b96208b7a247cbb6d9d162fbfaf54448af33589c.tar.gz | |
Revu les impressions du compilateur
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/includeclass.mli')
| -rw-r--r-- | typing/includeclass.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/includeclass.mli b/typing/includeclass.mli index 9bc840a174..5596056d0f 100644 --- a/typing/includeclass.mli +++ b/typing/includeclass.mli @@ -17,6 +17,7 @@ open Types open Typedtree open Ctype +open Format val class_types: Env.t -> class_type -> class_type -> class_match_failure list @@ -27,4 +28,4 @@ val class_declarations: Env.t -> class_declaration -> class_declaration -> class_match_failure list -val report_error: class_match_failure list -> unit +val report_error: formatter -> class_match_failure list -> unit |