blob: 5c7a6ecc9a16317c136f7ca22c83568977e377a6 (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE ImplicitParams, NoMonomorphismRestriction #-}
module ShouldCompile where
-- c.f. tc218.hs, only no type signature here
-- Instead, the NoMonomorphismRestriction language
bar = show ?c
foo1 = let { ?c = 'x' } in bar
foo2 = let { ?c = True } in bar
|