Opened 7 years ago

Closed 6 years ago

#244 closed defect (fixed)

Bad error message for type vars used as val vars

Reported by: benl Owned by:
Priority: high Milestone: 0.3.0
Component: Core Type Checker Version: 0.2.1
Keywords: Cc:

Description

> :check (/\(a : *). \(x : a). a)
Invalid kind for type sum.
         the type sum: *0
             has kind: *
  but it must be ! or $

Change History (2)

comment:1 Changed 7 years ago by benl

  • Component changed from Unknown to Core Type Checker

comment:2 Changed 6 years ago by benl

  • Resolution set to fixed
  • Status changed from new to closed
Note: See TracTickets for help on using tickets.