Revert "rts: Drop redundant flags for libffi"
[ghc.git] / testsuite / tests / typecheck / should_compile / tc210.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 module ShouldCompile where
4
5 f :: forall a. a -> forall b. b -> Int
6 f = error "urk"
7
8 -- Both these should be ok, but an early GHC 6.6 failed
9
10 g1 = [ (+) :: Int -> Int -> Int, f ]
11 g2 = [ f, (+) :: Int -> Int -> Int ]
12