11 lines
245 B
Plaintext
11 lines
245 B
Plaintext
*** Process tests/Possible.newt
|
|
module Prelude
|
|
module Possible
|
|
ERROR at tests/Possible.newt:6:5--6:8: possible constructors: [Prelude.Z, Prelude.S]
|
|
|
|
foo : Nat → Nat
|
|
foo ()
|
|
^^^
|
|
|
|
ERROR at tests/Possible.newt:1:1--1:2: Compile failed
|