adding a print typedtree
adding a useless path method
trying a lambda approach for globals bug
removing idents to functions (TODO: let rec)
Making the previous commit to compile
Removing the typedtree print
Adding a gard on Not_found exception for global primitive removing in unarizer#prim
expliciting the free variables search and replace
making the previous commit to build
some cleaning, still buggy
Runs on little example but still overflows
Adding a (stupid) letrec handle, still overflows on pervasives
Removing a self# call that was making a stack overflow
Reidenting inside the unarizer for merging after lambda
updating the build instructions
Putting in place the lambda merging, untested
Identer now compiles
Now fully compiles. Must test.
Cleaning, improving, compiling not tested yet.
Compiles, adding missing default match case