Ticket #58 (closed defect: fixed)
Panic in type inferencer
|Reported by:||benl||Owned by:|
|Component:||Source Type Inferencer||Version:||0.1.2|
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