Commits

camlspotter  committed 2e13530

typo

  • Participants
  • Parent commits 1c23c5b

Comments (0)

Files changed (1)

 
 Now you should get the idea of compiler modification with compiler-libs: your compiler mod somehow creates an untyped AST, then feed it to the original typechecker and the following compiler pipeline. The original type-checker assures the safety of the output of your mod. The output can be printed as a normal OCaml code by the AST printer, too.
 
-By this, you can even have your own parser and you own type-checker in order to implement a completely diffrent language which uses OCaml as a backend!
-
+By this, you can even have your own parser and you own type-checker in order to implement a completely diffrent language which uses OCaml as a backend! (Besides, beware of the license terms if you want to distribute your hack!)
+ 
 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 *)