Add tests for export unused top binding code action

For symbolic pattern synonyms, type families and type classes

Author: pbrinkmeier

plugins/hls-refactor-plugin/test/Main.hs

@@ -3413,6 +3413,19 @@ exportUnusedTests = testGroup "export unused actions"
       , "module A (pattern Foo) where"
       , "pattern Foo a <- (a, _)"
       ]
+    , testSession "unused pattern synonym symbol" $ template
+      [ "{-# OPTIONS_GHC -Wunused-top-binds #-}"
+      , "{-# LANGUAGE PatternSynonyms #-}"
+      , "module A () where"
+      , "pattern x :+ y = (x, y)"
+      ]
+      (R 3 0 3 12)
+      "Export ‘:+’"
+      [ "{-# OPTIONS_GHC -Wunused-top-binds #-}"
+      , "{-# LANGUAGE PatternSynonyms #-}"
+      , "module A (pattern (:+)) where"
+      , "pattern x :+ y = (x, y)"
+      ]
     , testSession "unused data type" $ template
       [ "{-# OPTIONS_GHC -Wunused-top-binds #-}"
       , "module A () where"
@@ -3459,6 +3472,19 @@ exportUnusedTests = testGroup "export unused actions"
       , "module A (Foo) where"
       , "type family Foo p"
       ]
+    , testSession "unused type family symbol" $ template
+      [ "{-# OPTIONS_GHC -Wunused-top-binds #-}"
+      , "{-# LANGUAGE TypeFamilies #-}"
+      , "module A () where"
+      , "type family p &&& q"
+      ]
+      (R 3 0 3 10)
+      "Export ‘&&&’"
+      [ "{-# OPTIONS_GHC -Wunused-top-binds #-}"
+      , "{-# LANGUAGE TypeFamilies #-}"
+      , "module A (type (&&&)) where"
+      , "type family p &&& q"
+      ]
     , testSession "unused typeclass" $ template
       [ "{-# OPTIONS_GHC -Wunused-top-binds #-}"
       , "module A () where"
@@ -3470,6 +3496,17 @@ exportUnusedTests = testGroup "export unused actions"
       , "module A (Foo(..)) where"
       , "class Foo a"
       ]
+    , testSession "unused typeclass symbol" $ template
+      [ "{-# OPTIONS_GHC -Wunused-top-binds #-}"
+      , "module A () where"
+      , "class p &&& q"
+      ]
+      (R 2 0 2 10)
+      "Export ‘&&&’"
+      [ "{-# OPTIONS_GHC -Wunused-top-binds #-}"
+      , "module A (type (&&&)(..)) where"
+      , "class p &&& q"
+      ]
     , testSession "infix" $ template
       [ "{-# OPTIONS_GHC -Wunused-top-binds #-}"
       , "module A () where"