Fold ghc-prim.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail016.hs
1 module ShouldFail 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 (Var name) = [name]
9 g (App e1 e2) = (g e1)++(g e2)