format.bend fails

raw source on the hub · import 0x6ce79f1afc193de100ced4c79d7e2350/format.bend as Format

5 imports

import Base
import 0xe49a3e6521e1b71e55654a885f27bcc1/parse.bend as P
import ./date.bend as D
import ./datetime.bend as DT
import ./instant.bend as I

The reader could not load this file (at 0x6ce79f1afc193de100ced4c79d7e2350/date.bend:10). What bend.ts says:

Error:
- expected : a name (words joined by dots, got 'Date.leap.100')
- observed : 'Date.leap.100'
Location:
 9 | 
10>| def Date.leap.100(+y: U32, d100: Bool) -> Bool:
   |     ^^^^^^^^^^^^^
11 |   match d100: