Commit 163365fa authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Follow error messages for explicit-forall syntax

parent 977497f7
......@@ -2,21 +2,24 @@
rnfail052.hs:6:13:
Illegal operator `.' in type `forall a . (a -> a)'
Perhaps you intended to use -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>
rnfail052.hs:9:21:
Illegal operator `.' in type `forall a . (a -> a)'
Perhaps you intended to use -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>
rnfail052.hs:12:14:
Not in scope: type variable `forall'
Perhaps you intended to use -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>?
to enable explicit-forall syntax: forall <tvs>. <type>
rnfail052.hs:12:21: Not in scope: type variable `a'
rnfail052.hs:12:22:
Illegal operator `.' in type `forall a . (a -> a)'
Perhaps you intended to use -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>
rnfail052.hs:12:24: Not in scope: type variable `a'
......
......@@ -3,3 +3,4 @@ tcfail166.hs:5:20:
Illegal operator `.' in type `forall a . ((a -> Maybe (b, a))
-> a -> c)'
Perhaps you intended to use -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>
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