raxod502 opened this issue 5 years ago · 0 comments
It is not currently an error to declare a function with the argument list (x y x) or (lhs (Pair lhr rhs)), but it should be.
(x y x)
(lhs (Pair lhr rhs))