Commit 4bd8b3f3 authored by simonmar's avatar simonmar
Browse files

[project @ 2002-07-10 08:41:49 by simonmar]

update expected output
parent 29003328
...@@ -4,4 +4,6 @@ tcfail032.hs:14: ...@@ -4,4 +4,6 @@ tcfail032.hs:14:
Quantified type variable `a' escapes Quantified type variable `a' escapes
It is mentioned in the environment: It is mentioned in the environment:
x :: a -> Int (bound at tcfail032.hs:14) x :: a -> Int (bound at tcfail032.hs:14)
When checking the type signature of the expression:
x :: forall a. (Eq a) => a -> Int
In the definition of `f': (x :: forall a. (Eq a) => a -> Int) In the definition of `f': (x :: forall a. (Eq a) => a -> Int)
...@@ -4,4 +4,5 @@ tcfail055.hs:3: ...@@ -4,4 +4,5 @@ tcfail055.hs:3:
Expected type: Float Expected type: Float
Inferred type: Int Inferred type: Int
When checking the type signature of the expression: x + 1 :: Int When checking the type signature of the expression: x + 1 :: Int
In the definition of `f': (x + 1 :: Int) :: Float When checking the type signature of the expression:
(x + 1 :: Int) :: Float
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