projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
2dfd4a50e0a558c14b5b6cf219cc06191303584a
[ghc-hetmet.git]
/
ghc
/
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)