Hongbo Zhang

make ocaml a typed javascript

2

Hi, this is a nice piece of work. Actually I am doing something that you might find interesting, I am adding a new javascript backend to ocaml https://github.com/bobzhang/ocaml/tree/master Unlike js_of_ocaml,...

type dyntag --> type tyntag private

A more precise version.. ``` ocaml [ structure_item (a.ml[17,645+0]..[17,645+6]) Pstr_type [ type_declaration "t" (a.ml[17,645+5]..[17,645+6]) (a.ml[17,645+5]..[17,645+6]) ptype_params = [] ptype_cstrs = [] ptype_kind = Ptype_abstract ptype_private = Public ptype_manifest = None...

manually remove it in cold?

rewrite ast2pt using normal syntax. 1. should not change fan ast and parsetree at the same time

-- make changes to src/main -- build fan0 using fan -- apply fan0 to main files, dump ast compared with ast dumped by fan -- sanity check, snapshot changes to...

the time decreased from 640ms to 520ms note that Reason does not provide a easy syntax for uncurried function: https://github.com/facebook/reason/issues/1172

We may pass relative path to refmt, the error message may not be friendly to editors if the command is not running from project root directory