cl-algebraic-data-type icon indicating copy to clipboard operation
cl-algebraic-data-type copied to clipboard

Published 20 hours ago • verified publisher icon stylewarning

static arity checking in MATCH

Open stylewarning opened this issue 7 years ago • 2 comments

This should error:

(adt:defdata ty (a t) b)

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

stylewarning avatar Feb 04 '18 09:02 stylewarning