Don't wildify vars when running beginMetaprogram (#1963)

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Co-authored-by: Javier Neira <[email protected]>

Author: 3 people

plugins/hls-tactics-plugin/src/Wingman/GHC.hs

@@ -36,6 +36,7 @@ import           TysWiredIn (charTyCon, doubleTyCon, floatTyCon, intTyCon)
 import           Unify
 import           Unique
 import           Var
+import           Wingman.StaticPlugin (pattern MetaprogramSyntax)
 import           Wingman.Types
 
 
@@ -171,6 +172,7 @@ containsHole :: Data a => a -> Bool
 containsHole x = not $ null $ listify (
   \case
     ((HsVar _ (L _ name)) :: HsExpr GhcPs) -> isHole $ occName name
+    MetaprogramSyntax _                    -> True
     _                                      -> False
   ) x
 

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

@@ -20,6 +20,7 @@ spec = do
 #if __GLASGOW_HASKELL__ >= 808
   describe "beginMetaprogram" $ do
     goldenTest BeginMetaprogram ""  1  7 "MetaBegin"
+    goldenTest BeginMetaprogram ""  1  9 "MetaBeginNoWildify"
 #endif
 
   describe "golden" $ do

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

@@ -0,0 +1,2 @@
+foo v = [wingman||]
+

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

@@ -0,0 +1,2 @@
+foo v = _
+