Commit dacefa06 authored by simonpj's avatar simonpj
Browse files

Update output

parent 771ae247
tcfail124.hs:6:8:
Couldn't match expected type `forall a. (Eq a) => [a]'
against inferred type `[a]'
In the pattern: x : _
In the definition of `f1': f1 (xs@(x : _)) = x
tcfail124.hs:9:3:
Couldn't match expected type `forall a. (Eq a) => [a]'
against inferred type `[a]'
In the pattern: [x]
In the definition of `f2': f2 [x] = x
tcfail124.hs:12:5:
Couldn't match expected type `forall a. (Eq a) => [a]'
against inferred type `[a]'
In the pattern: x : []
In the definition of `f3': f3 (x : []) = x
tcfail124.hs:6:7:
Couldn't match expected type `forall a. (Eq a) => [a]'
against inferred type `[a]'
In the pattern: x : _
In the definition of `f1': f1 (xs@(x : _)) = x
tcfail124.hs:9:3:
Couldn't match expected type `forall a. (Eq a) => [a]'
against inferred type `[a]'
In the pattern: [x]
In the definition of `f2': f2 [x] = x
tcfail124.hs:12:4:
Couldn't match expected type `forall a. (Eq a) => [a]'
against inferred type `[a]'
In the pattern: x : []
In the definition of `f3': f3 (x : []) = x
tcfail187.hs:7:7:
Constructor `:::' should have no arguments, but has been given 2
In the pattern: x ::: y
In the definition of `foo': foo (x ::: y) = ()
tcfail187.hs:7:5:
Constructor `:::' should have no arguments, but has been given 2
In the pattern: x ::: y
In the definition of `foo': foo (x ::: y) = ()
Supports Markdown
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