testsuite/tests/typecheck/should_fail/T2538.hs


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


-- #2538
module ShouldFail where
import Data.Ix

f :: (Eq a => a -> a) -> Int
f = error "urk"

g :: [Eq a => a -> a] -> Int
g = error "urk"

h :: Ix (Eq a => a -> a) => Int
h = error "urk"