bolt/lsp/nav.bend fails

raw source on the hub · import 0x729eecea86ea5a2cdba3a2856a313bca/bolt/lsp/nav.bend as Nav

lsp/nav: from a name to the item it names. A name Alias.rest, where Alias is an import of the document, is rest in that file; any other name is an item of the document, or else of Base. Open documents are read from the store (what the editor shows), everything else through the files service.

8 imports

import Base
import ../../syntax/outline.bend as Outline
import ../../syntax/word.bend as Word
import ../../syntax/bind.bend as Bind
import ./files/service.bend as F
import ./docs.bend as Docs
import ./path.bend as Path
import ./proto.bend as Proto

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 |