0x6ce79f1a fails

0x6ce79f1afc193de100ced4c79d7e2350

no description

Anonymous package: import it by hash.

Published: 2026-09-21
Size: 47,633 bytes, 7 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 0 laws (0 proved), 35 defs, 2 types

Import

import 0x6ce79f1afc193de100ced4c79d7e2350/date.bend as Date
import 0x6ce79f1afc193de100ced4c79d7e2350/datetime.bend as Datetime
import 0x6ce79f1afc193de100ced4c79d7e2350/duration.bend as Duration
import 0x6ce79f1afc193de100ced4c79d7e2350/format.bend as Format
import 0x6ce79f1afc193de100ced4c79d7e2350/instant.bend as Instant
import 0x6ce79f1afc193de100ced4c79d7e2350/package.bend as Package
import 0x6ce79f1afc193de100ced4c79d7e2350/period.bend as Period

Modules

date.bend not loaded
datetime.bend not loaded
duration.bend 39 declarations
format.bend not loaded
instant.bend not loaded
package.bend not loaded
period.bend not loaded

Dependencies

bend-parse-lib@0.1.0.0 via format.bend: import 0xe49a3e6521e1b71e55654a885f27bcc1/parse.bend as P

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
date.bend	fails	- expected : a name (words joined by dots, got 'Date.leap.100') output 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:	0.5 s
datetime.bend	fails	- expected : a name (words joined by dots, got 'Date.leap.100') output 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:	0.6 s
duration.bend	checks	ALL PROOFS CHECK	0.6 s
format.bend	fails	- expected : a name (words joined by dots, got 'Date.leap.100') output 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:	0.5 s
instant.bend	fails	- expected : a name (words joined by dots, got 'Date.leap.100') output 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:	0.4 s
package.bend	fails	- expected : a name (words joined by dots, got 'Date.leap.100') output 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:	0.5 s
period.bend	fails	- expected : a name (words joined by dots, got 'Date.leap.100') output 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:	0.4 s