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