Commit 1bcd34c5 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Improved error report

parent e5cda42f
arrowfail001.hs:16:36:
Ambiguous type variable `a' in the constraint:
(Foo a) arising from a use of `foo'
Probable fix: add a type signature that fixes these type variable(s)
In the expression: foo
In the expression: proc x -> case x of { Bar a -> foo -< a }
In an equation for `get':
get = proc x -> case x of { Bar a -> foo -< a }
arrowfail001.hs:16:36:
No instance for (Foo a)
arising from a use of `foo'
In the expression: foo
In the expression: proc x -> case x of { Bar a -> foo -< a }
In an equation for `get':
get = proc x -> case x of { Bar a -> foo -< a }
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