let status,cmds = Ocaml.pp_spec status ml in
print_ppcmds ~in_ml:false status (cmds ++ fnl () ++ fnl ());
status,()) resl in
- match res with
- None ->
-(* print_ppcmds status
- (str("(* " ^ NUri.string_of_uri uri ^ " non informative *)\n")++ fnl ());*)
- status
- | Some ml ->
- let status,std_ppcmds = Ocaml.pp_decl status ml in
- print_ppcmds status ~in_ml:true (std_ppcmds ++ fnl ());
- status
+ let status,_ =
+ map_status status
+ (fun status ml ->
+ let status,cmds = Ocaml.pp_decl status ml in
+ print_ppcmds ~in_ml:true status (cmds ++ fnl () ++ fnl ());
+ status,()) res in
+ status
with
- HExtlib.Localized (_,exn) ->
- prerr_endline (Printexc.to_string exn); assert false
+ HExtlib.Localized (_,exn)
+ | exn ->
+ prerr_endline (Printexc.to_string exn); assert false
let do_if_ocaml_set f status =
if try ignore (Helm_registry.get "extract_ocaml"); true
List.map (fun uri -> Filename.basename (NUri.string_of_uri uri)) uris in
let status,cmds = map_status status Ocaml.pp_open fnames in
List.iter (print_ppcmds status ~in_ml:true) cmds;
+ let status,cmds = map_status status Ocaml.pp_open fnames in
List.iter (print_ppcmds status ~in_ml:false) cmds;
status
) status