Fold testsuite.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail156.stderr
1
2 tcfail156.hs:7:15:
3     A newtype constructor cannot have existential type variables
4     Foo :: forall a. a -> Foo
5     In the definition of data constructor ‛Foo’
6     In the newtype declaration for ‛Foo’