Merge non-moving garbage collector
[ghc.git] / testsuite / tests / typecheck / should_compile / tc218.hs
1 {-# LANGUAGE ImplicitParams #-}
2
3 module ShouldCompile where
4
5 bar :: (Show a, ?c::a) => String
6 -- This type should not be reported as ambiguous
7 -- See the call in
8 bar = show ?c
9
10 foo = let { ?c = 'x' } in bar
11
12