Commit 7c2ab6fb authored by thomie's avatar thomie
Browse files

Testsuite: accept output for T10999 (#10999)

parent 19354fb2
\ No newline at end of file
T10999.hs:5:12: error:
Found type wildcard ‘_’ standing for ‘Set.Set a’
Where: ‘a’ is a rigid type variable bound by
the inferred type of f :: Ord a => () -> Set.Set a at T10999.hs:6:1
To use the inferred type, enable PartialTypeSignatures
In the type signature for:
f :: () -> _
T10999.hs:6:1: error:
No instance for (Ord a)
When checking that ‘f’ has the inferred type
f :: forall a. () -> Set.Set a
Probable cause: the inferred type is ambiguous
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