Add message for GHC-10173

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

@@ -0,0 +1,14 @@
+---
+title: No top level binding to annotate
+summary: There is no top level binding this annotation can match.
+severity: error
+introduced: 9.6.1
+---
+
+There is no binding available that this annotation can match.
+
+Common errors include:
+
+- The binding is not available at all.
+- The binding is available, but in the wrong namespace.
+- The binding is availabale, but defined in another module.

message-index/messages/GHC-10173/no-binding/after/NoBinding.hs

@@ -0,0 +1,6 @@
+module NoBinding where
+
+{-# ANN foo "Bar" #-}
+
+foo :: Integer
+foo = 1

message-index/messages/GHC-10173/no-binding/before/ NoBinding.hs

@@ -0,0 +1,3 @@
+module NoBinding where
+
+{-# ANN foo "Bar" #-}

message-index/messages/GHC-10173/no-binding/index.md

@@ -0,0 +1,4 @@
+---
+title: No Binding available
+order: 1
+---

message-index/messages/GHC-10173/not-in-module/after/NotInModule.hs

@@ -0,0 +1,6 @@
+module NotInModule where
+
+{-# ANN myLength "an annotation" #-}
+
+myLength :: Foldable t => t a -> Int
+myLength = length

message-index/messages/GHC-10173/not-in-module/before/NotInModule.hs

@@ -0,0 +1,3 @@
+module NotInModule where
+
+{-# ANN length "an annotation" #-}

message-index/messages/GHC-10173/not-in-module/index.md

@@ -0,0 +1,4 @@
+---
+title: Binding in another module
+order: 3
+---

message-index/messages/GHC-10173/wrong-namespace/after/WrongNamespace.hs

@@ -0,0 +1,5 @@
+module WrongNamespace where
+
+data Foo = Bar
+
+{-# ANN type Foo (1 :: Int) #-}

message-index/messages/GHC-10173/wrong-namespace/before/WrongNamespace.hs

@@ -0,0 +1,5 @@
+module WrongNamespace where
+
+data Foo = Bar
+
+{-# ANN Foo (1 :: Int) #-}

message-index/messages/GHC-10173/wrong-namespace/index.md

@@ -0,0 +1,4 @@
+---
+title: Binding available, but in the wrong namespace
+order: 2
+---