bad error message with GADTs

[David Roundy]

On Thu, Nov 30, 2006 at 11:37:48AM +1100, Donald Bruce Stewart wrote:
> I.e. this one?
> 
> A.hs:9:10:
>     Couldn't match kind `?' against `* -> * -> *'
>     When matching the kinds of `t :: ?' and `t1 :: * -> * -> *'
>       Expected type: t1
>       Inferred type: t
>     In the pattern: Nil

Right, I probably should have included that in the bug report.  It does
seem less user-friendly than "Please add a type signature when pattern
matching GADTs".
-- 
David Roundy
Department of Physics
Oregon State University