bolt/lsp/frame.bend fails

raw source on the hub · import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/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 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/frame.bend:118). What bend.ts says:

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