main.bend fails

raw source on the hub · import 0x9ed9d2a83d17c8cb5d268ff52c77412d/main.bend as Main

1 import

import Base

The reader could not load this file (at 0x9ed9d2a83d17c8cb5d268ff52c77412d/main.bend:59). What bend.ts says:

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.