search

stylewarning / deprecated-coalton-prototype

Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
MIT License
208 stars 7 forks source link

Bad error message when defining a constructor & type of same name #9

Closed stylewarning closed 4 years ago

stylewarning commented 5 years ago

This provides a bad error message:

(define-type (Ref t)
  (Ref t))

bumbling about superclasses and whatever