0x9ed9d2a8 fails

0x9ed9d2a83d17c8cb5d268ff52c77412d

no description

Anonymous package: import it by hash.

Earlier versions (1)

0x3965e422 2026-09-26

Published: 2026-09-26
Size: 5,163 bytes, 1 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 0 laws (0 proved), 0 defs, 0 types

Import

import 0x9ed9d2a83d17c8cb5d268ff52c77412d/main.bend as Main

Modules

main.bend not loaded

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

File	Status	Checker says	Time
main.bend	fails	- message : a type for this operator (write (a + b : Nat)) output Error: - message : a type for this operator (write (a + b : Nat)) Location: 58 \| case _ 1: 1n 59>\| case 1n+f _: 1n + depth(f, ((n + 1) / 2 : U32)) \| ^ 60 \| Note: we broke this after launch, sorry. Until 2.0.16 a bare operator meant Nat. That was a bug: operators demand annotation. Wrap the expression and it'll work again.	0.4 s

File

Status

Checker says

Time

main.bend

fails

- message : a type for this operator (write (a + b : Nat))

output

Error:
- message  : a type for this operator (write (a + b : Nat))
Location:
58 |     case _ 1: 1n
59>|     case 1n+f _: 1n + depth(f, ((n + 1) / 2 : U32))
   |                     ^
60 | 
Note: we broke this after launch, sorry. Until 2.0.16 a bare operator meant Nat.
That was a bug: operators demand annotation. Wrap the expression and it'll work again.

0.4 s