Files changed (1)
-It creates a bytecode compiler ``retype``. It just works as ``ocamlc``, but it also prints out the source code.
+It creates a bytecode compiler ``retype``. It just works as ``ocamlc``, but it also prints out the source code.
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::
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``::