Nicolas Berthier
Nicolas Berthier
> 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`...
> As far as I know the `@tailcall` annotation requires the compiler to fail if the the call can't be optimized, it won't help here — js_of_ocaml doesn't perform tail...
Labeling this as history. Performance issues with the Javascript+effects version seem to be too hard to deal with at the moment. Another way towards a "pure" web extension could be...
De-historizing after [more investigations](#384)…
Partly done in #304 , improved in #312.
Closing: #315 brings context-sensitive completion.
Closing as completed via the `README.md`
@lefessan Is this PR consistent and ready to be reviewed and merged? If so, then a minor conflict needs to be addressed, and an approval/merge can then ensue.
Actually, just found out we don't have a "simple" way of dealing with the cleanup problem by only relying on VS Code (*cf* https://github.com/microsoft/vscode/issues/32461). Temporary solution: do not merge this...
> Can you explain why you use [ExtensionContext.globalStorageUri](https://code.visualstudio.com/api/references/vscode-api#ExtensionContext.globalStorageUri) instead of [ExtensionContext.storageUri](https://code.visualstudio.com/api/references/vscode-api#ExtensionContext.storageUri)? I see you have a comment about it but maybe I'm missing some subtlety. > > Do you expect...