testsuite/tests/ghc-regress/typecheck/should_compile/tc218.hs


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

{-# LANGUAGE ImplicitParams #-}

module ShouldCompile where

bar :: (Show a, ?c::a) => String
-- This type should not be reported as ambiguous
-- See the call in 
bar = show ?c

foo = let { ?c = 'x' } in bar