Add tests

Author: isovector

plugins/hls-tactics-plugin/test/CodeAction/RunMetaprogramSpec.hs

@@ -28,4 +28,7 @@ spec = do
     metaTest  2 32 "MetaBindAll"
     metaTest  2 13 "MetaTry"
     metaTest  2 74 "MetaChoice"
+    metaTest  5 40 "MetaUseImport"
+    metaTest  6 31 "MetaUseLocal"
+    metaTest 11 11 "MetaUseMethod"
 

plugins/hls-tactics-plugin/test/golden/MetaUseImport.expected.hs

@@ -0,0 +1,6 @@
+import Data.Char
+
+
+result :: Char -> Bool
+result = isAlpha
+

plugins/hls-tactics-plugin/test/golden/MetaUseImport.hs

@@ -0,0 +1,6 @@
+import Data.Char
+
+
+result :: Char -> Bool
+result = [wingman| intro c, use isAlpha, assume c |]
+

plugins/hls-tactics-plugin/test/golden/MetaUseLocal.expected.hs

@@ -0,0 +1,7 @@
+test :: Int
+test = 0
+
+
+resolve :: Int
+resolve = test
+

plugins/hls-tactics-plugin/test/golden/MetaUseLocal.hs

@@ -0,0 +1,7 @@
+test :: Int
+test = 0
+
+
+resolve :: Int
+resolve = [wingman| use test |]
+

plugins/hls-tactics-plugin/test/golden/MetaUseMethod.expected.hs

@@ -0,0 +1,12 @@
+{-# LANGUAGE MultiParamTypeClasses #-}
+
+class Test where
+  test :: Int
+
+instance Test where
+  test = 10
+
+
+resolve :: Int
+resolve = test
+

plugins/hls-tactics-plugin/test/golden/MetaUseMethod.hs

@@ -0,0 +1,12 @@
+{-# LANGUAGE MultiParamTypeClasses #-}
+
+class Test where
+  test :: Int
+
+instance Test where
+  test = 10
+
+
+resolve :: Int
+resolve = [wingman| use test |]
+