Martin Elsman

.. we can also just do a fork... lør. 20. mar. 2021 kl. 11.07 skrev Ken Friis Larsen < ***@***.***>: > Ugh, do I really need to have a Russian-dool...

Maybe we can also rename `Utility` to `WppUtil` or perhaps just add the individual utilities to the `Wpp` structure...

It's the optimiser: ``` bash-3.2$ SML_LIB=~/gits/mlkit/js ~/gits/mlkit/bin/smltojs -timings fru.sml && cat KITtimings [reading source file: fru.sml] [wrote JavaScript file: MLB/Js/fru-sml.js] [Created file run.html] [wrote compiler timings file: KITtimings] Parse 0.012...

With inlining disabled, we get the following: ``` bash-3.2$ SML_LIB=~/gits/mlkit/js ~/gits/mlkit/bin/smltojs -maximum_inline_size 0 -timings fru.sml && cat KITtimings [reading source file: fru.sml] [wrote JavaScript file: MLB/Js/fru-sml.js] [Created file run.html] [wrote...

It is possible to control the optimiser inliner locally by naming variables with a `__noinline` suffix. By playing around with this feature (e.g., renaming `next` to `next__noinline`) , I managed...

Adding Real32Array requires us to add Real32...