Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / 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