search

stylewarning / cl-algebraic-data-type

Algebraic data types in Common Lisp
BSD 3-Clause "New" or "Revised" License
138 stars 9 forks source link

static arity checking in MATCH #2

Open stylewarning opened 6 years ago

stylewarning commented 6 years ago

This should error:

(adt:defdata ty (a t) b)

(adt:match ty x
  ((a _) nil)
  ((b _) nil))
diasbruno commented 1 month ago

Is the error in (b _)?

stylewarning commented 1 month ago

Is the error in (b _)?

That's correct.