census.bend fails

raw source on the hub · import 0xbdd0ed8296de5a3e70071442c332a8ec/census.bend as Census

GLIDER at scale — a soup census over the readable engine.

2^d chunks of 64 random 4x4 toroidal soups; each soup runs g generations and contributes its population to a checksum, and the chunks join up a balanced fork tree, exactly the shape of the official game-of-life bench but over GLIDER's readable rows-and-cells engine. batch! hands the whole tree to the GPU; plain batch spreads it over the CPU cores.

2 imports

import Base
import ./life.bend as L

The reader could not load this file (at 0xbdd0ed8296de5a3e70071442c332a8ec/life.bend:193). What bend.ts says:

Error:
- message  : a type for this operator (write (a + b : Nat))
Location:
192 |     case 1n+p:
193>|       1n + (1n + double(p))
    |          ^
194 | 
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.