projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
1bcfb865b21e09b5f792acd05f64b247622751f2
[ghc-hetmet.git]
/
ghc
/
tests
/
typecheck
/
should_fail
/
tcfail032.stderr
1
2
tcfail032.hs:14: A type signature is more polymorphic than the inferred type
3
Can't for-all the type variable(s) `taDB'
4
in the inferred type `taDB -> Int'
5
In an expression with a type signature:
6
`x :: _forall_ [a] (Eq a) => a -> Int'
7
8
Compilation had errors