projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
1601bc6418b7620391579da37324fe0323db2935
[ghc-hetmet.git]
/
ghc
/
tests
/
typecheck
/
should_compile
/
tc034.stderr
1
__export ShouldSucceed AList{ANull ANode} IntList g;
2
1 data AList a = ANull | ANode a (AList a) ;
3
1 g :: __forall [t] => {PrelNum.Num t} -> AList PrelBase.Bool -> t ;
4
1 type IntList = AList PrelBase.Int ;