0x4e6a6615 fails

0x4e6a6615b0feb5ac27adea952228511e

The bend.how fixed-point library, as one package: `bend fixed.bend

Anonymous package: import it by hash.

Published: 2026-09-17
Size: 21,479 bytes, 3 files
License: MIT-0 (no LICENSE file; the hub's default)
Declarations: 0 laws (0 proved), 0 defs, 0 types

Import

import 0x4e6a6615b0feb5ac27adea952228511e/fixed.bend as Fixed
import 0x4e6a6615b0feb5ac27adea952228511e/fixed64.bend as Fixed64
import 0x4e6a6615b0feb5ac27adea952228511e/fx4.bend as Fx4

Modules

fixed.bend not loaded — # The bend.how fixed-point library, as one package: `bend fixed.bend
fixed64.bend not loaded — lib/fixed64.bend -- Q8.56 signed fixed point on two U32 limbs.
fx4.bend not loaded — lib/fx4.bend -- Q8.120 signed fixed point on four flat U32 limbs.

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
fixed.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: 60 \| +lo = (al + bl : U32) 61>\| Fx{(ah + bh + Fx.b2u(lo < al) : U32), lo} \| ^ 62 \| 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.6 s
fixed64.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: 60 \| +lo = (al + bl : U32) 61>\| Fx{(ah + bh + Fx.b2u(lo < al) : U32), lo} \| ^ 62 \| 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.3 s
fx4.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: 69 \| +rd = (xd + yd : U32) 70>\| +k0 = (Fx4.b2u(rd < xd) : U32) \| ^ 71 \| +t1 = (xc + yc : U32) 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

fixed.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:
60 |       +lo = (al + bl : U32)
61>|       Fx{(ah + bh + Fx.b2u(lo < al) : U32), lo}
   |                               ^
62 | 
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.6 s

fixed64.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:
60 |       +lo = (al + bl : U32)
61>|       Fx{(ah + bh + Fx.b2u(lo < al) : U32), lo}
   |                               ^
62 | 
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.3 s

fx4.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:
69 |       +rd = (xd + yd : U32)
70>|       +k0 = (Fx4.b2u(rd < xd) : U32)
   |                         ^
71 |       +t1 = (xc + yc : U32)
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