id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc
58,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
}}}
",defect,closed,blocker,0.1.3,Source Type Inferencer,0.1.2,fixed,,