tzif.bend fails

raw source on the hub · import 0x5118d7c8d8a6cbdfca48647d1a5a6fde/tzif.bend as Tzif

7 imports

import Base
import 0x888714bde93f46c139372bb9fdc57a19/bytes.bend as B
import 0x9b6a4fc7ceea91864a75396e1b8365e5/datetime.bend as DT
import 0x9b6a4fc7ceea91864a75396e1b8365e5/instant.bend as I
import ./zone.bend as Z
import ./tzif_hdr.bend as H
import ./posix_tz.bend as Px

The reader could not load this file (at 0x9b6a4fc7ceea91864a75396e1b8365e5/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: