Basile Clément
Basile Clément
I opened this issue mostly for tracking purposes, I don't need a fix for it currently. Long term I think option 2 is acceptable; it would remove the ambiguity/surprises (especially...
If I open a Cobol file w/o `superbol.toml`, I get a `_superbol` directory there. `superbol.toml` should not be required to use Superbol (in fact, the extension mostly works without when...
FWIW, I have checked on a bunch of files from NIST85 and the performance difference, if any, is not noticeable on my machine — except that with the `js_of_ocaml` version...
> > FWIW, I have checked on a bunch of files from NIST85 and the performance difference, if any, is not noticeable on my machine — except that with the...
`js_of_ocaml` takes bytecode as input — I don't think that the annotation is preserved until there in the compilation chain. `--enable=effects` applies a CPS transformation and I believe already tries...
Marking as draft because it seems I made a mistake somewhere — I thought this was using the bundled `node` from vscode but it actually is not, so I will...
Thanks for the report & extra information. For tracking purposes: assigning @Halbaroth since this is essentially a duplicate of #919
> as long as the model is at least in topological order (i.e. constants are defined before being used), dolmen will be happy. That is not the case currently (see...
I don't think this code is dead; `(select a (= x y))` is not pure because `(= x y)` is not pure (we could argue about it, but changing this...