Panic in type inferencer

[benl]

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

[benl]

Test is T58-InferencerPanic

[erikd]

Fixed in the following commit:

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

• Fix #58 : Type interferencer panic.