testsuite/tests/typecheck/should_fail/T7525.hs

   1 {-# LANGUAGE ImplicitParams #-}
   2 module T7525 where
   3
   4 hmm :: Bool
   5 hmm = let ?a = True in ?a && ?b
   6
   7 {- The error message should say
   8
   9     Could not deduce (?b::Bool)
  10       arising from a use of implicit parameter `?b'
  11     from the context (?a::Bool)
  12
  13 That is, the context should be (?a :: Bool) not (?a :: t0).
  14 -}
  15