PoC: Propagate arity between compilation units - Githubissues

ocsigen / js_of_ocaml

Compiler from OCaml to Javascript.

http://ocsigen.org/js_of_ocaml/

Other

952 stars 186 forks source link

PoC: Propagate arity between compilation units #1594

Open hhugo opened 6 months ago

hhugo commented 6 months ago

PoC for #550

Store immutability property of blocks
Try to recover some immutability info from debug events. (currently assuming modules are immutable, need to check what happens with recursive modules
Use this info to compute an approximated shape for registered globals.
Use shape info to compute function arity across compilation units (this is currently only done when compiling cma files as we know the shape of previously compiled units inside the library)

TODOs/Questions:

[x] check the behavior with recursive modules
[x] fix with effects
[ ] update global_flow ?
[x] better mechanism for shape propagation ?-
[x] store shape in a different file ? yes
[x] should the "shape" file be given jsoo on the command line or should it look for it on the file system ? both
[ ] update dune rules with additional deps (WIP https://github.com/ocaml/dune/pull/10767)

hhugo commented 6 months ago

@vouillon, feel free to comment, review and even commit the branch.