Bad error message when using UnicodeSyntax ∀ without ExplicitForall
This code
{-# LANGUAGE UnicodeSyntax #-}
id' :: ∀ a. a → a
id' a = a
produces following error
/tmp/id.hs:4:8: parse error on input `∀'
However, equivalent code without unicode syntax gives a much better error message:
id' :: forall a. a → a
id' a = a
/tmp/id.hs:4:16:
Illegal symbol '.' in type
Perhaps you intended -XRankNTypes or similar flag
to enable explicit-forall syntax: forall <tvs>. <type>
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.6.2 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |