Commit 1a9a693e authored by simonpj's avatar simonpj
Browse files

[project @ 2001-10-22 11:34:41 by simonpj]

Correct error message
parent 96a83774
......@@ -2,6 +2,8 @@
-- This bogus program slipped past GHC 5.02!
module ShouldFail where
data DS = forall a. C (a -> Int)
call (C f) arg = f arg
tcfail099.hs:9:
Inferred type is less polymorphic than expected
Quantified type variable `a' escapes
When checking a pattern that binds f :: a -> Int
In the definition of `call': call (C f) arg = f arg
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment