Ticket #167 (new defect)

Opened 5 years ago

Missing constraints in interface files.

Reported by: bens Owned by:
Priority: blocker Milestone: 0.1.3
Component: Core Type Checker Version:
Keywords: Cc:

Description

Various constraints are missing from interface files, eg. Data.Bool.otherwise should have a !Const constraint.

Note: See TracTickets for help on using tickets.