Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / gadt / gadt1.hs
1 {-# LANGUAGE GADTs, RankNTypes #-}
2
3 module ShouldCompile where
4
5 -- Checks for bindInstsOfPatId
6 f :: (forall a. Eq a => a -> a) -> Bool
7 f g = g True