Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / tc064.hs
1 module ShouldSucceed where
2
3 data Boolean = FF | TT
4
5 idb :: Boolean -> Boolean
6 idb x = x
7