Ticket #3 (new enhancement)

Opened 5 years ago

Last modified 5 years ago

Check Shape witnesses in core

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

Changed 5 years ago by benl

  • milestone _|_ deleted

Changed 5 years ago by benl

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