Commits

camlspotter committed f8c7462

vert spaces

  • Participants
  • Parent commits b9bffc6

Comments (0)

Files changed (1)

       Pparse.file ppf inputfile Parse.implementation ast_impl_magic_number
       ++ print_if ppf Clflags.dump_parsetree Printast.implementation
       ++ Typemod.type_implementation sourcefile outputprefix modulename env
+
       ++ (fun (str, _) ->  (* Inserting an additional step! *)
         let ptree =  Untypeast.untype_structure str in
         Format.eprintf "%a@." Pprintast.structure ptree;
         ptree
       )
+
       ++ Translmod.transl_implementation modulename
       ++ print_if ppf Clflags.dump_rawlambda Printlambda.lambda
       ++ Simplif.simplify_lambda
       (* See overload/compile.ml *)
       ...
       ++ Typemod.type_implementation sourcefile outputprefix modulename env
+
       ++ (fun (str, _) -> Mod.structure str)   (* We modify the tree! *)
+
       ++ (fun str -> 
         let ptree =  Untypeast.untype_structure str in
         Format.eprintf "%a@." Pprintast.structure ptree;
         ptree)
       ++ Typemod.type_implementation sourcefile outputprefix modulename env
+
       ++ ...
 
 ``Mod.structure : Typedtree.structure -> Typedtree.structure`` does something fancy, in this article, SML styple overloading resolution!