testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T5032.hs
1 -- Tests pattern bindings that are generalised
2
3 module T5032 where
4
5 id1 :: a -> a
6 (id1) = id
7
8 foo = (id1 True, id1 'x')
9
10 g :: a -> a
11 h :: a -> a
12 (g, h) = (\x -> x, \y -> y)
13
14 too = (g (h True), g (h 'x'))
15
16 -- No type signature necessary;
17 -- the MR only strikes when overloading is involved
18 [id3] = [id]
19
20 noo = (id3 True, id3 'x')