[project @ 1998-04-17 15:58:37 by simonm]
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail032.stderr
1  
2 tcfail032.hs:14:
3     A type signature is more polymorphic than the inferred type
4         Can't for-all the type variable(s) `a'
5         in the type `a -> Int'
6     In an expression with a type signature:
7           x :: _forall_ [a] (PrelBase.Eq a) => a -> Int
8
9
10 Compilation had errors