diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-11-07 01:07:32 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2003-11-07 01:07:32 +0000 |
| commit | 303ca193e874615260aad85b1cff2df9cc683860 (patch) | |
| tree | 5a62a391ac1b15e4e8801ede6b887d9f61124d86 /typing/printtyp.mli | |
| parent | b719914d644dc26e29fb4dcd8176789baee82dfd (diff) | |
| download | ocaml-303ca193e874615260aad85b1cff2df9cc683860.tar.gz | |
tools for debugging the type checker
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/printtyp.mli')
| -rw-r--r-- | typing/printtyp.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/printtyp.mli b/typing/printtyp.mli index 45d8762282..c02c13f0df 100644 --- a/typing/printtyp.mli +++ b/typing/printtyp.mli @@ -22,6 +22,7 @@ val longident: formatter -> Longident.t -> unit val ident: formatter -> Ident.t -> unit val tree_of_path: Path.t -> out_ident val path: formatter -> Path.t -> unit +val raw_type_expr: formatter -> type_expr -> unit val reset: unit -> unit val mark_loops: type_expr -> unit val reset_and_mark_loops: type_expr -> unit |