blob: ea77525dfc8ff0177e69b3c19e0eede5e9ce1d48 (
plain)
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
|