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 _______________________________________________ Glasgow-haskell-bugs mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
