Ticket #58 (closed defect: fixed)

Opened 8 years ago

Last modified 8 years ago

Panic in type inferencer

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

Description (last modified by benl) (diff)

Reported by Jared

The following function fails to compile:

example :: [()] -> [()]
example a = b
  where b = a
example c = c

The second clause must be present. The type must be a parameterized type, and there must be a parameter. [a] -> [a] compiles, but [[a]] -> [[a]] fails.

The error message is generated by the GHC runtime.

ddc: src/Type/Class.hs:(426,6)-(427,26): Irrefutable pattern failed for
pattern Data.Maybe.Just cids

Change History

Changed 8 years ago by benl

  • description modified (diff)

Changed 8 years ago by benl

Test is T58-InferencerPanic

Changed 8 years ago by erikd

  • status changed from new to closed
  • resolution set to fixed

Fixed in the following commit:

Fri Oct 30 15:54:54 EST 2009 Erik de Castro Lopo <erikd@…>

  • Fix #58 : Type interferencer panic.
Note: See TracTickets for help on using tickets.