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

Write `type=` function #16

Closed stylewarning closed 4 years ago

stylewarning commented 4 years ago

Write a function to check if two ty's represent exactly the same type. Be sure that (-> (a) a) matches (-> (b) b) but not (-> (a) b).

This can be used to avoid clobbering declared types.