ghc/tests/typecheck/should_compile/tc121.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   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