Commits

camlspotter committed a00c455

I hate emacs mode for ReST

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! \*)
+      ++ (fun (str, _) ->  (* Inserting an additional step! *)
         let ptree =  Untypeast.untype_structure str in
         Format.eprintf "%a@." Pprintast.structure ptree;
         ptree
 
 But for this time, I would like to demonstrate something much simpler: using the original parser and type-checker, then modify that typedtree: adding another pipeline step after the first type checking of the ``retype`` compiler::
 
-      (\* See overload/compile.ml \*)
+      (* See overload/compile.ml *)
       ...
       ++ Typemod.type_implementation sourcefile outputprefix modulename env
-      ++ (fun (str, _) -> Mod.structure str)   (\* We modify the tree! \*)
+      ++ (fun (str, _) -> Mod.structure str)   (* We modify the tree! *)
       ++ (fun str -> 
         let ptree =  Untypeast.untype_structure str in
         Format.eprintf "%a@." Pprintast.structure ptree;
 
 Hey, I used ``Loaded.(+)``, which is actually a C primitive without C code! Is it ok? It is NOT, without our compiler mod. The mod must replace the use of ``Loaded.(+)`` by ``Loaded.Int.(+)`` or ``Loaded.Float.(+)`` appropriately depending on its type from the context: the first ``+`` is ``int -> int -> int`` and the second is ``float -> float -> float``::
 
-    (\* See overload/mod.ml \*)
+    (* See overload/mod.ml *)
     let resolve_overloading e lidloc path = ...
 
     class map = object (self)