disco-0.1.0.0: test/syntax-prims/expected

Loading syntax-prims.disco...
Loaded.
x : ℕ → ℕ
User crash: bad dog!