~/bend-docscommunity

0xc517d5d3 fails

0xc517d5d3635f5bc3ec47170caccaebf0

no description

Anonymous package: import it by hash.

Published
2026-10-01
Size
153,289 bytes, 7 files
License
MIT-0 (no LICENSE file; the hub's default)
Declarations
0 laws (0 proved), 788 defs, 17 types

Import

import 0xc517d5d3635f5bc3ec47170caccaebf0/blocks.bend as Blocks
import 0xc517d5d3635f5bc3ec47170caccaebf0/minecraft.bend as Minecraft
import 0xc517d5d3635f5bc3ec47170caccaebf0/mobs.bend as Mobs
import 0xc517d5d3635f5bc3ec47170caccaebf0/physics.bend as Physics
import 0xc517d5d3635f5bc3ec47170caccaebf0/player.bend as Player
import 0xc517d5d3635f5bc3ec47170caccaebf0/render.bend as Render
import 0xc517d5d3635f5bc3ec47170caccaebf0/world.bend as World

Modules

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
blocks.bendchecks ALL PROOFS CHECK0.8 s
minecraft.bendfails - expected : cases for Look, Scroll
output
Error:
- expected : cases for Look, Scroll
- observed : \{}
Context:
- inp  : Input
- ldx  : F32
- ldy  : F32
- brk  : Bool
- plc  : Bool
- hot  : U32
- quit : Bool
Location: Ctrl.apply
424 | def Ctrl.apply(ctrl: Ctrl, e: Event) -> Ctrl:
425>|   match ctrl e:
    |   ^^^^^^^^^^^^^
426 |     case C{inp, ldx, ldy, brk, plc, hot, quit} Key{code, down}:
0.8 s
mobs.bendchecks ALL PROOFS CHECK0.6 s
physics.bendchecks ALL PROOFS CHECK0.6 s
player.bendfails - expected : cases for Look, Scroll
output
Error:
- expected : cases for Look, Scroll
- observed : \{}
Context:
- inp  : Input
- ldx  : F32
- ldy  : F32
- brk  : Bool
- plc  : Bool
- hot  : U32
- quit : Bool
Location: Ctrl.apply
424 | def Ctrl.apply(ctrl: Ctrl, e: Event) -> Ctrl:
425>|   match ctrl e:
    |   ^^^^^^^^^^^^^
426 |     case C{inp, ldx, ldy, brk, plc, hot, quit} Key{code, down}:
0.6 s
render.bendchecks ALL PROOFS CHECK0.9 s
world.bendchecks ALL PROOFS CHECK0.8 s