testsuite/tests/typecheck/should_compile/tc239.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
-- #1072

module ShouldCompile where

import Tc239_Help

f1 :: Show a => WrapIO e a
f1 = return undefined

f2 :: Show a => WrapIO2 a
f2 = f1