Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / MutRec.hs
1 module MutRec where
2
3 -- Mutual recursion with different
4 -- names for the same type variable
5 f t = x
6 where
7 x :: [a]
8 y :: b
9 (x,y,z,r) = ([y,z], z, head x, t)
10
11