Commit edf235a1 authored by Ian Lynagh's avatar Ian Lynagh
Browse files

Accept output (tcfail145)

parent 3c5d589c
tcfail145.hs:9:5:
Couldn't match expected type `a' (a rigid variable)
against inferred type `[a]'
against inferred type `[a]'
When matching `forall a. [a] -> [a]'
and `forall a. a -> a'
Expected type: forall a1. a1 -> a1
Inferred type: forall a1. [a1] -> [a1]
In the pattern: f :: forall a. [a] -> [a]
In the definition of `foo':
foo (f :: forall a. [a] -> [a]) = f undefined
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