testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc121.hs
1 {-# LANGUAGE ImplicitParams #-}
2
3 -- !!! Implicit Parameters
4
5 -- If the implicit param isn't recognized as a PredType, x and y
6 -- will be inferred to have two params instead of one.
7
8 module ShouldCompile where
9
10 x () = ?wibble
11
12 y () = x ()
13
14 same :: a -> a -> b
15 same x y = undefined
16
17 a () = same x id
18 b () = same y id