Opened 3 years ago

Last modified 17 months ago

#374 new bug

Check specified kinds of type equations against their infered kinds.

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

Description

The syntax of type equations allows a kind to be specified, but we don't check the inferred kind against it.

Change History (2)

comment:1 Changed 2 years ago by benl

  • Milestone 0.5.0 deleted

comment:2 Changed 17 months ago by benl

  • Summary changed from Check specified kinds of type equations against their inferrer kinds. to Check specified kinds of type equations against their infered kinds.
  • Type changed from defect to bug
Note: See TracTickets for help on using tickets.