From 60e9cd871ac5d5a8104d8be2d523f2286242ed2d Mon Sep 17 00:00:00 2001 From: Jade Date: Sat, 8 Jun 2024 18:12:14 +0200 Subject: [PATCH] Add index entry for GHC-25955 --- .../after/Illegal_explicit_forall.hs | 7 +++++++ .../before/Illegal_explicit_forall.hs | 6 ++++++ .../illegal_explicit_forall/index.md | 3 +++ message-index/messages/GHC-25955/index.md | 19 +++++++++++++++++++ 4 files changed, 35 insertions(+) create mode 100644 message-index/messages/GHC-25955/illegal_explicit_forall/after/Illegal_explicit_forall.hs create mode 100644 message-index/messages/GHC-25955/illegal_explicit_forall/before/Illegal_explicit_forall.hs create mode 100644 message-index/messages/GHC-25955/illegal_explicit_forall/index.md create mode 100644 message-index/messages/GHC-25955/index.md diff --git a/message-index/messages/GHC-25955/illegal_explicit_forall/after/Illegal_explicit_forall.hs b/message-index/messages/GHC-25955/illegal_explicit_forall/after/Illegal_explicit_forall.hs new file mode 100644 index 00000000..d3a27f1d --- /dev/null +++ b/message-index/messages/GHC-25955/illegal_explicit_forall/after/Illegal_explicit_forall.hs @@ -0,0 +1,7 @@ +{-# LANGUAGE Haskell2010 #-} +{-# LANGUAGE ExplicitForAll #-} + +module Illegal_explicit_forall where + +foo :: forall a. a +foo = foo diff --git a/message-index/messages/GHC-25955/illegal_explicit_forall/before/Illegal_explicit_forall.hs b/message-index/messages/GHC-25955/illegal_explicit_forall/before/Illegal_explicit_forall.hs new file mode 100644 index 00000000..902349df --- /dev/null +++ b/message-index/messages/GHC-25955/illegal_explicit_forall/before/Illegal_explicit_forall.hs @@ -0,0 +1,6 @@ +{-# LANGUAGE Haskell2010 #-} + +module Illegal_explicit_forall where + +foo :: forall a. a +foo = foo diff --git a/message-index/messages/GHC-25955/illegal_explicit_forall/index.md b/message-index/messages/GHC-25955/illegal_explicit_forall/index.md new file mode 100644 index 00000000..fe58c70c --- /dev/null +++ b/message-index/messages/GHC-25955/illegal_explicit_forall/index.md @@ -0,0 +1,3 @@ +--- +title: ExplicitForAll without the relevant extension enabled +--- diff --git a/message-index/messages/GHC-25955/index.md b/message-index/messages/GHC-25955/index.md new file mode 100644 index 00000000..bb9e7af8 --- /dev/null +++ b/message-index/messages/GHC-25955/index.md @@ -0,0 +1,19 @@ +--- +title: Illegal forall in type +summary: The 'forall' keyword was used in a type without the 'ExplicitForAll' extension enabled +severity: error +introduced: 9.6.1 +--- + +## Error Message +``` +Illegal symbol ‘forall’ in type + Suggested fix: + Use the ‘ExplicitForAll’ extension (implied by ‘RankNTypes’, + ‘QuantifiedConstraints’, ‘ScopedTypeVariables’, + ‘LiberalTypeSynonyms’ and ‘ExistentialQuantification’) + to enable syntax: forall . + | +3 | foo :: forall a. a + | ^^^^^^ +```