diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail165.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail165.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail165.hs b/testsuite/tests/typecheck/should_fail/tcfail165.hs index c23a7f39b4..8b4cabdc8e 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail165.hs +++ b/testsuite/tests/typecheck/should_fail/tcfail165.hs @@ -11,6 +11,7 @@ import Control.Concurrent -- -- In GHC 7.0 it fails again! (and rightly so) +-- With the Visible Type Application patch, this succeeds again. + foo = do var <- newEmptyMVar :: IO (MVar (forall a. Show a => a -> String)) putMVar var (show :: forall b. Show b => b -> String) - |