2 ms·
The LSP spec is hideously complicated and has weird edge cases around what exactly is a newline, what content-encoding is used for counting offsets, and timing
by yencabulator 2mo ago
The LSP spec is hideously complicated and has weird edge cases around what exactly is a newline, what content-encoding is used for counting offsets, and timing of events. I'd be very surprised if Claude got those right.
My experience so far says that without subject-matter-expert prompting, Claude will take shortcuts with a naive "\r?\n" regexp etc.
I would happily let Claude write tests for the various newline formats and content-encodings, though.
- tombert 2mo agoI'm sure there are edge cases for stuff I haven't tested, but I've written many lines of TLA+ with the generated bindings and it seems to work fine as far as I can tell. The model-checker appears to work as expected. Granted, I suspect part of it is that they are cribbing pretty heavily from the official VSCode TLA+ bindings, so it probably gets a lot for free.