src/lsp/frame.bend fails

raw source on the hub · import 0xd96f2ab40f5df4925c42e96d0ba857ff/src/lsp/frame.bend as Frame

lsp/frame: LSP's base protocol, purely: Content-Length: N\r\n\r\n and then N bytes of UTF-8. Framing counts bytes and a read may end inside a char, so the transport reads bytes, cuts on bytes, and only then decodes.

1 import

import Base

The reader could not load this file (at 0xd96f2ab40f5df4925c42e96d0ba857ff/src/lsp/frame.bend:295). What bend.ts says:

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
294 |   More{}
295>|   Ready{body: List<&2, U32>, rest: List<&2, U32>}
    |   ^^^^^
296 |