static arity checking in MATCH

Issue #5 new
Robert Smith
repo owner created an issue
(adt:defdata ty (a t) b)

(adt:match ty x
  ((a _) nil)
  ((b _) nil))

this should error

Comments (0)

  1. Log in to comment