Documentation for (&&) and (&&) states that they are lazy in their second argument...
[ghc.git] / testsuite / tests / typecheck / should_compile / tc035.hs
1 module ShouldSucceed where
2
3 type AnnExpr a = (a,Expr a)
4
5 data Expr a = Var [Char]
6 | App (AnnExpr a) (AnnExpr a)
7
8 g (a,(Var name)) = [name]
9 g (a,(App e1 e2)) = (g e1) ++ (g e2)