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

Check declared type against inferred type #6

Open stylewarning opened 5 years ago

stylewarning commented 5 years ago

The declared type of a global value isn't checked against its inferred type. Sometimes the declared type will be more specific, and we should have something like that.

(defun more-specific-type-p (general specific)
  "Is the type SPECIFIC a more specific instantiation of GENERAL?"
  ...)