Leon Fuss

Any updates on that? I would really love to use this feature :)

I've discovered that this issue has already been fixed in IJulia's master branch about two months ago. The problem wasn't with Zed itself, but rather with IJulia not fully complying...

The issue occurs because Zed implements a stricter validation of the Jupyter protocol than some other editors. Specifically, Zed (chrono - serde_json implementation) expects timestamp headers in the Jupyter messages...

> The tests are failing since [`examples/casestudies/lexer.effekt.md`](https://github.com/effekt-lang/effekt/blob/master/examples/casestudies/lexer.effekt.md) uses `text/regex`. Here are some more modules importing `text/regex`: https://github.com/search?q=repo%3Aeffekt-lang%2Feffekt+%22text%2Fregex%22+path%3Aexamples%2F**%2F*.effekt&type=code I refactored the lexer example to account for the changes. The other occurrences...

Thank you for your thorough review. I've implemented your suggestions, making the code more idiomatic. The addition of typed flags should notably enhance usability. I plan to add the test...

I ran into some problems designing the test. While the LSP server and I cannot find any error in the code, the compiler fails with the error `[error] Cannot typecheck...

Is there a way to run certain tests only for the JS-Backend? I would like to add test for the new features, but it seems that the chez-backend is not...

> EDIT 2: I _think_ that NodeJS 12.x does not support the `d` (`GenerateIndices()`) flag since it was only introduced in ES9 and implemented in NodeJS 16.x according to [MDN](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/RegExp/hasIndices#browser_compatibility)....

> Which of the extensions that are proposed in this PR are compatible with the regular expressions in POSIX? > > (https://www.man7.org/linux/man-pages/man3/regex.3.html) The POSIX standard for Regex does only include...

> u can just revert the last commit and rebase Thank you :)