Commit 5e191aeb authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Update output

parent abc0aac6
T2494.hs:12:13:
T2494.hs:15:13:
Couldn't match expected type `a' against inferred type `b'
`a' is a rigid type variable bound by
the type signature for `f' at T2494.hs:10:45
the type signature for `f' at T2494.hs:13:45
`b' is a rigid type variable bound by
the type signature for `g' at T2494.hs:11:45
the type signature for `g' at T2494.hs:14:45
Expected type: Maybe (m a)
Inferred type: Maybe (m b)
In the first argument of `foo', namely `g'
In the second argument of `foo', namely `(foo g x)'
T2494.hs:12:29:
T2494.hs:15:29:
Couldn't match expected type `a' against inferred type `b'
`a' is a rigid type variable bound by
the type signature for `f' at T2494.hs:10:45
the type signature for `f' at T2494.hs:13:45
`b' is a rigid type variable bound by
the type signature for `g' at T2494.hs:11:45
the type signature for `g' at T2494.hs:14:45
Expected type: Maybe (m a)
Inferred type: Maybe (m b)
In the second argument of `(.)', namely `g'
In the first argument of `foo', namely `(f . g)'
T2494.hs:12:32:
T2494.hs:15:32:
Couldn't match expected type `b' against inferred type `a'
`b' is a rigid type variable bound by
the type signature for `g' at T2494.hs:11:45
the type signature for `g' at T2494.hs:14:45
`a' is a rigid type variable bound by
the type signature for `f' at T2494.hs:10:45
the type signature for `f' at T2494.hs:13:45
Expected type: Maybe b
Inferred type: Maybe a
In the second argument of `foo', namely `x'
......
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