blob: f3941d3427974ebcb43c5233591d2ce80e9c79b0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
-- Trac #1072
module ShouldCompile where
import Tc239_Help
f1 :: Show a => WrapIO e a
f1 = return undefined
f2 :: Show a => WrapIO2 a
f2 = f1
|