Opened 8 years ago

Closed 8 years ago

#242 closed defect (fixed)

Better error message when constructors are used at the wrong level

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

Description

Here, () is a data constructor but we've treated it as a type constructor.

:kind [r:%]. (() + ())

Change History (3)

comment:1 Changed 8 years ago by benl

  • Milestone changed from 0.2.0 to 0.3.0

comment:2 Changed 8 years ago by benl

  • Version changed from 0.1.2 to 0.2.0

comment:3 Changed 8 years ago by benl

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