Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / tc239.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2 -- #1072
3
4 module ShouldCompile where
5
6 import Tc239_Help
7
8 f1 :: Show a => WrapIO e a
9 f1 = return undefined
10
11 f2 :: Show a => WrapIO2 a
12 f2 = f1