blob: 11d9c479b541eb5e8d9da48f71467b391329c5d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
-- Trac #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"
|