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
- blocks.bend 183 declarations
- minecraft.bend 244 declarations
- mobs.bend 22 declarations
- physics.bend 84 declarations
- player.bend 152 declarations
- render.bend 51 declarations
- world.bend 86 declarations
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 |
|---|---|---|---|
| blocks.bend | checks | ALL PROOFS CHECK | 0.8 s |
| minecraft.bend | fails | - expected : cases for Look, ScrolloutputError:
- 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.bend | checks | ALL PROOFS CHECK | 0.6 s |
| physics.bend | checks | ALL PROOFS CHECK | 0.6 s |
| player.bend | fails | - expected : cases for Look, ScrolloutputError:
- 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.bend | checks | ALL PROOFS CHECK | 0.9 s |
| world.bend | checks | ALL PROOFS CHECK | 0.8 s |