ghc/tests/typecheck/should_compile/tc122.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   2
   3 -- !!! Implicit Parameters
   4
   5 -- GHC 5.00 doesn't handle this:
   6
   7 --  Could not deduce `?wibble :: t' from the context ()
   8 --  Probable fix:
   9 --      Add `?wibble :: t' to the banding(s) for {y}
  10 --  Or add an instance declaration for `?wibble :: t'
  11 --  arising from use of implicit parameter `?wibble' at tc122.hs:18
  12 --  in the definition of function `y': wibble
  13
  14
  15 module ShouldCompile where
  16
  17 x () = y
  18     where y = ?wibble