ghc/tests/typecheck/should_run/tcrun012.hs

   1 {-# OPTIONS -fglasgow-exts #-}
   2
   3 -- !!! Implicit parameter test
   4
   5 module Main where
   6
   7 main = do { putStrLn $ show $ foo with ?x = 13
   8           ; putStrLn $ show $ baz () with ?x = 14 }
   9
  10 foo :: (?x :: Int) => Int
  11 foo = ?x
  12
  13 -- Check that defaulting works too
  14 baz () = ?x
  15