Opened 10 years ago

Closed 7 years ago

#3 closed enhancement (invalid)

Check Shape witnesses in core

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Core Type Checker Version:
Keywords: Cc:

Description

We don't currently check the validity of shape witnesses. Problems should be caught by the source type inferencer, but we should check them in the core language as well.

Change History (4)

comment:1 Changed 10 years ago by benl

  • Milestone _|_ deleted

comment:2 Changed 10 years ago by benl

  • Version 0.1.2 deleted

comment:3 Changed 7 years ago by benl

  • Priority changed from minor to normal

comment:4 Changed 7 years ago by benl

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