diff options
| -rw-r--r-- | compiler/parser/Parser.y.pp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp index 9d087068bf..489b5affa4 100644 --- a/compiler/parser/Parser.y.pp +++ b/compiler/parser/Parser.y.pp @@ -2249,8 +2249,8 @@ hintExplicitForall span = do forall <- extension explicitForallEnabled rulePrag <- extension inRulePrag unless (forall || rulePrag) $ parseErrorSDoc span $ vcat - [ text "Illegal symbol '∀' in type" + [ text "Illegal symbol '\x2200' in type" -- U+2200 FOR ALL , text "Perhaps you intended -XRankNTypes or similar flag" - , text "to enable explicit-forall syntax: ∀ <tvs>. <type>" + , text "to enable explicit-forall syntax: \x2200 <tvs>. <type>" ] } |