0x3b876eed fails

0x3b876eed3a748ea7fba8a7834d3c610b

Art: the tile set, and the board as one Image.

Anonymous package: import it by hash.

Published

2026-09-17

Size

41,702 bytes, 6 files

License

MIT-0 (no LICENSE file; the hub's default)

Declarations

0 laws (0 proved), 162 defs, 12 types

Import

import 0x3b876eed3a748ea7fba8a7834d3c610b/art.bend as Art
import 0x3b876eed3a748ea7fba8a7834d3c610b/board.bend as Board
import 0x3b876eed3a748ea7fba8a7834d3c610b/cell.bend as Cell
import 0x3b876eed3a748ea7fba8a7834d3c610b/game.bend as Game
import 0x3b876eed3a748ea7fba8a7834d3c610b/grid.bend as Grid
import 0x3b876eed3a748ea7fba8a7834d3c610b/main.bend as Main

Modules

• art.bend 25 declarations — Art: the tile set, and the board as one Image.
• board.bend 68 declarations — Board: the rules of Minesweeper, written as parallel grid passes.
• cell.bend 24 declarations — Cell: one square of the board, and the two moves that act on it.
• game.bend 53 declarations — Game: the state, the input, and the frame.
• grid.bend 15 declarations — Grid: a square quadtree, and the parallel walks over it.
• main.bend 9 declarations — main.bend: Minesweeper in a window.

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

Error:
- expected : cases for True
- observed : \{}
Context:
- e    : Event<> - Close{} - Key{} - Mouse{} - Move{}
- rest : List<&1, Event>
Location: Game.feed
268 | def Game.feed(es: List<&1, Event>, alive: Bool, g: Game) -> Game & Bool:
269>|   match es alive:
    |   ^^^^^^^^^^^^^^^
270 |     case Nil{} a:

Error:
- expected : cases for True
- observed : \{}
Context:
- e    : Event<> - Close{} - Key{} - Mouse{} - Move{}
- rest : List<&1, Event>
Location: Game.feed
268 | def Game.feed(es: List<&1, Event>, alive: Bool, g: Game) -> Game & Bool:
269>|   match es alive:
    |   ^^^^^^^^^^^^^^^
270 |     case Nil{} a: