testsuite/tests/ghc-regress/typecheck/should_compile/tc210.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE Rank2Types #-}

module ShouldCompile where

f :: forall a. a -> forall b. b -> Int
f = error "urk"

-- Both these should be ok, but an early GHC 6.6 failed

g1 = [ (+) :: Int -> Int -> Int, f ]
g2 = [ f, (+) :: Int -> Int -> Int ]