ghc/compiler/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)