Ticket #3 (new enhancement)

Opened 8 years ago

Last modified 8 years ago

Check Shape witnesses in core

Reported by: benl Owned by:
Priority: minor 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

Changed 8 years ago by benl

  • milestone _|_ deleted

Changed 8 years ago by benl

  • version 0.1.2 deleted
Note: See TracTickets for help on using tickets.