Opened 7 years ago

Closed 7 years ago

#258 closed defect (fixed)

Give a civilised error message for CAF binders.

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

Description

We can't finish the implementation until we have laziness back, but give an error saying this isn't supported.

Change History (1)

comment:1 Changed 7 years ago by benl

  • Resolution set to fixed
  • Status changed from new to closed

This now gives a fragment error saying it needs a top-level letrec, which is good enough for now.

Note: See TracTickets for help on using tickets.