class Foo a where foo :: a -> ()
data Bar = Bar { bar :: () }
instance Foo Bar where foo = bar
test :: Bar
test = undefined { foo = () }
the last line should be rejected, since there is no `foo' in `Bar'.
ghc-5.04.2: panic! (the `impossible' happened, GHC version 5.04.2):
tcSplitTyConApp a{-rY6-}
best regards,
--
-- Johannes Waldmann ---- http://www.informatik.uni-leipzig.de/~joe/ --
-- [EMAIL PROTECTED] -- phone/fax (+49) 341 9732 204/207 --
_______________________________________________
Glasgow-haskell-bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
