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