Ticket #65 (closed defect: fixed)

Opened 6 years ago

Last modified 5 years ago

Parsing problems with where/irrefutable patterns

Reported by: benl Owned by:
Priority: blocker Milestone: 0.1.3
Component: Source Parser Version: 0.1.2
Keywords: Cc:

Description

Added by Jared.

This fails

example = ()
  where (Cons y ys) = []

with

ddc: src/Desugar/Kind.hs:(203,3)-(207,22): Non-exhaustive patterns in case

Test is T65-ParseWhereIrref

Change History

Changed 6 years ago by benl

  • summary changed from Parsing problems when where/irrefutable patterns to Parsing problems with where/irrefutable patterns

Changed 5 years ago by anonymous

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