projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
dbf16533c74e5ba6dfe5789811faf26d8f0bf8ee
[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) `taCY'
4
in the inferred type `taCY -> Int'
5
In an expression with a type signature:
6
`x :: _forall_ [a] (Eq a) => a -> Int'
7
8
Compilation had errors