Testsuite: delete Windows line endings [skip ci] (#11631)
[ghc.git] / testsuite / tests / typecheck / should_compile / T2572.hs
1 {-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
2
3 -- Trac #2572
4
5 module Foo where
6
7 type GTypeFun = forall a . a -> ()
8
9 gmapType :: Int -> GTypeFun
10 gmapType _ (_ :: a) = undefined