Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / T3163.hs
1 {-# LANGUAGE GADTs, RankNTypes, ImpredicativeTypes #-}
2
3 -- Test Trac #3163
4
5 module Report where
6
7 data Taker a where
8 Unreached :: Taker (forall s. s)
9