module SyntaxTest
import SyntaxOk

foo : Nat
foo = fnord "argh"