Ticket #2 (assigned defect)

Opened 6 years ago

Last modified 4 years ago

Check class instances against their definitions.

Reported by: benl Owned by: benl
Priority: blocker Milestone: 0.1.3
Component: Type Inferencer Version: 0.1.2
Keywords: Cc:

Description

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.

Change History

Changed 6 years ago by benl

  • priority changed from normal to blocker

Changed 5 years ago by lilac

It looks like the current T2-CheckInstance? testcase should not be diagnosed by this check once ticket#63 is fixed.

Changed 4 years ago by benl

  • owner set to benl
  • status changed from new to assigned
Note: See TracTickets for help on using tickets.