Ticket #2 (assigned defect)
Check class instances against their definitions.
|Reported by:||benl||Owned by:||benl|
We don't currently check whether a type class instance is valid wrt its definition. Unsafe program sometimes make it through the core type checker and sometimes not.
T2-CheckInstance contains an area function that has a larger closure than the definition, but it is silently accepted. I've seen other programs like this be caught by the core type checker.