Opened 6 years ago
Closed 6 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 6 years ago by benl
- Resolution set to fixed
- Status changed from new to closed
Note: See
TracTickets for help on using
tickets.
This now gives a fragment error saying it needs a top-level letrec, which is good enough for now.