Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail162.hs
1
2
3
4 -- Kind error messsage should not contain bangs
5
6 module ShouldFail where
7
8 import Foreign.ForeignPtr
9
10 data Foo = Foo {-# UNPACK #-} !(ForeignPtr)
11
12