Commit 96fd2a52 authored by Pietro Abate's avatar Pietro Abate

[r2005-06-13 08:22:20 by afrisch] Recursive type declarations in cdo2ml

Original author: afrisch
Date: 2005-06-13 08:22:20+00:00
parent 9611c9cb
......@@ -239,8 +239,9 @@ let read_cmi name =
let (unf,n) = unfold t in
if n !=0 then unsupported "polymorphic value";
values := (Ident.name id, t, unf) :: !values
| Tsig_type (id,t,_) ->
Format.fprintf ppf "%a@." (Printtyp.type_declaration id) t
| Tsig_type (id,t,rs) ->
Format.fprintf ppf "%a@."
!Oprint.out_sig_item (Printtyp.tree_of_type_declaration id t rs);
| Tsig_value _ -> unsupported "external value"
| Tsig_exception _ -> unsupported "exception"
| Tsig_module _ -> unsupported "module"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment