Opened 10 years ago

Closed 7 years ago

#2 closed defect (wontfix)

Check class instances against their definitions.

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


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 (6)

comment:1 Changed 10 years ago by benl

  • Priority changed from normal to blocker

comment:2 Changed 10 years ago by lilac

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

comment:3 Changed 9 years ago by benl

  • Owner set to benl
  • Status changed from new to assigned

comment:4 Changed 8 years ago by benl

  • Milestone 0.1.3 deleted

comment:5 Changed 8 years ago by benl

  • Priority changed from blocker to normal

comment:6 Changed 7 years ago by benl

  • Resolution set to wontfix
  • Status changed from assigned to closed
Note: See TracTickets for help on using tickets.