Commit e28006cd authored by Joachim Breitner's avatar Joachim Breitner
Browse files

Output of T7861 has changed

parent d3b14cd4
T7861: T7861.hs:11:5:
Couldn't match type ‛a’ with ‛[a0]’
Couldn't match type ‛a’ with ‛[a]’
‛a’ is a rigid type variable bound by
the type signature for f :: A a -> a at T7861.hs:10:6
Expected type: A a -> a
Actual type: A a0 -> [a0]
Actual type: A a -> [a]
Relevant bindings include f :: A a -> a (bound at T7861.hs:11:1)
In the expression: doA
In an equation for ‛f’: f = doA
......
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