fixed.bend fails

raw source on the hub · import 0x4e6a6615b0feb5ac27adea952228511e/fixed.bend as Fixed

# The bend.how fixed-point library, as one package: bend fixed.bend # --publish uploads this file with both files it imports.

3 imports

import Base
import ./fixed64.bend as Fx
import ./fx4.bend as Fx4

The reader could not load this file (at 0x4e6a6615b0feb5ac27adea952228511e/fixed64.bend:61). What bend.ts says:

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.