Opened 11 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:


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 11 years ago by benl

  • Milestone _|_ deleted

comment:2 Changed 11 years ago by benl

  • Version 0.1.2 deleted

comment:3 Changed 8 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.