blob: 9a0de89d4e4da57c547e93a9fddf5f3b663614f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE RankNTypes #-}
module ShouldCompile where
f :: forall a. a -> forall b. b -> Int
f x = error "urk"
-- Both these should be ok, but an early GHC 6.6 failed
g1 = [ (+) :: Int -> Int -> Int, \x -> f x ]
g2 = [ \x -> f x, (+) :: Int -> Int -> Int ]
|