testsuite/tests/typecheck/should_fail/T7525.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

{-# LANGUAGE ImplicitParams #-}
module T7525 where

hmm :: Bool
hmm = let ?a = True in ?a && ?b

{- The error message should say

    Could not deduce (?b::Bool)
      arising from a use of implicit parameter `?b'
    from the context (?a::Bool)

That is, the context should be (?a :: Bool) not (?a :: t0).
-}