Add GHC-18157

Author: ryndubei

message-index/messages/GHC-18157/index.md

@@ -0,0 +1,13 @@
+---
+title: GHC stage restriction
+summary: A local name is used in a top-level splice, quasi-quote or annotation.
+severity: error
+introduced: 9.8.1
+---
+
+A top-level
+[Template Haskell splice](https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/template_haskell.html#syntax),
+[quasi-quote](https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/template_haskell.html#template-haskell-quasi-quotation)
+or
+[source annotation](https://downloads.haskell.org/ghc/latest/docs/users_guide/extending_ghc.html#source-annotations).
+cannot directly call a variable bound in the same module.

message-index/messages/GHC-18157/stage-restriction-anns/after/Bar.hs

@@ -0,0 +1,4 @@
+module Bar (bar) where
+
+bar :: Integer
+bar = 2

message-index/messages/GHC-18157/stage-restriction-anns/after/Example.hs

@@ -0,0 +1,7 @@
+module Example where
+
+import Bar (bar)
+
+{-# ANN foo bar #-}
+foo :: Integer
+foo = 1

message-index/messages/GHC-18157/stage-restriction-anns/before/Example.hs

@@ -0,0 +1,8 @@
+module Example where
+
+{-# ANN foo bar #-}
+foo :: Integer
+foo = 1
+
+bar :: Integer
+bar = 2

message-index/messages/GHC-18157/stage-restriction-anns/index.md

@@ -0,0 +1,17 @@
+---
+title: A local name is used in an annotation.
+---
+
+`foo` and `bar` are both defined in the same module, causing the error.
+
+# Error Message
+```
+Example.hs:3:13: error: [GHC-18157]
+    • GHC stage restriction:
+        ‘bar’ is used in a top-level splice, quasi-quote, or annotation,
+        and must be imported, not defined locally
+    • In the annotation: {-# ANN foo bar #-}
+  |
+3 | {-# ANN foo bar #-}
+  |             ^^^
+```

message-index/messages/GHC-18157/stage-restriction-qq/after/Example.hs

@@ -0,0 +1,7 @@
+{-# LANGUAGE QuasiQuotes #-}
+module Example where
+
+import QQ (qq)
+
+foo :: String
+foo = [qq|1|]

message-index/messages/GHC-18157/stage-restriction-qq/after/QQ.hs

@@ -0,0 +1,12 @@
+module QQ (qq) where
+
+import Language.Haskell.TH.Quote
+import Language.Haskell.TH
+
+qq :: QuasiQuoter
+qq = QuasiQuoter
+  { quoteExp = pure . LitE . StringL
+  , quoteDec = undefined
+  , quotePat = undefined
+  , quoteType = undefined
+  }

message-index/messages/GHC-18157/stage-restriction-qq/before/Example.hs

@@ -0,0 +1,16 @@
+{-# LANGUAGE QuasiQuotes #-}
+module Example where
+
+import Language.Haskell.TH.Quote
+import Language.Haskell.TH
+
+qq :: QuasiQuoter
+qq = QuasiQuoter
+  { quoteExp = pure . LitE . StringL
+  , quoteDec = undefined
+  , quotePat = undefined
+  , quoteType = undefined
+  }
+
+foo :: String
+foo = [qq|bar|]

message-index/messages/GHC-18157/stage-restriction-qq/index.md

@@ -0,0 +1,17 @@
+---
+title: A local name is used in a quasi-quote.
+---
+
+`foo` and `qq` are both defined in the same module, causing the error.
+
+# Error Message
+```
+Example.hs:16:7: error: [GHC-18157]
+    • GHC stage restriction:
+        ‘qq’ is used in a top-level splice, quasi-quote, or annotation,
+        and must be imported, not defined locally
+    • In the quasi-quotation: [qq|bar|]
+   |
+16 | foo = [qq|bar|]
+   |       ^^^^^^^^^
+```

message-index/messages/GHC-18157/stage-restriction-splice-1/after/Example.hs

@@ -0,0 +1,8 @@
+{-# LANGUAGE TemplateHaskell #-}
+module Example where
+
+import Foo (foo)
+import Language.Haskell.TH
+
+x :: Integer
+x = $foo