datetime.bend fails

raw source on the hub · import 0x6648eb78d8a978a0e437eabbfbc841cd/datetime.bend as Datetime

2 imports

import Base
import ./date.bend as D

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

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