From d2d557b37611f7b8092afc899b172dd3c01d426e Mon Sep 17 00:00:00 2001
From: Ben Price <ben@hackworthltd.com>
Date: Wed, 26 Apr 2023 18:21:50 +0100
Subject: [PATCH] test: do not need outer hole in unit_RenameCon*

---
 primer/test/Tests/Action/Prog.hs | 72 +++++++++++++++-----------------
 1 file changed, 33 insertions(+), 39 deletions(-)

diff --git a/primer/test/Tests/Action/Prog.hs b/primer/test/Tests/Action/Prog.hs
index 295b39ff6..4991011cc 100644
--- a/primer/test/Tests/Action/Prog.hs
+++ b/primer/test/Tests/Action/Prog.hs
@@ -895,22 +895,20 @@ unit_RenameCon =
         sequence
           [ do
               x <-
-                hole
-                  ( hole $
-                      case_
-                        ( con
-                            cA
-                            [ con0 (vcn "True")
-                            , con0 (vcn "True")
-                            , con0 (vcn "True")
-                            ]
-                            `ann` (tcon tT `tapp` tEmptyHole `tapp` tEmptyHole)
-                        )
-                        [ branch cA [("p", Nothing), ("q", Nothing), ("p1", Nothing)] emptyHole
-                        , branch cB [("r", Nothing), ("x", Nothing)] emptyHole
+                hole $
+                  case_
+                    ( con
+                        cA
+                        [ con0 (vcn "True")
+                        , con0 (vcn "True")
+                        , con0 (vcn "True")
                         ]
-                        `ann` tEmptyHole
-                  )
+                        `ann` (tcon tT `tapp` tEmptyHole `tapp` tEmptyHole)
+                    )
+                    [ branch cA [("p", Nothing), ("q", Nothing), ("p1", Nothing)] emptyHole
+                    , branch cB [("r", Nothing), ("x", Nothing)] emptyHole
+                    ]
+                    `ann` tEmptyHole
               astDef "def" x <$> tEmptyHole
           ]
     )
@@ -926,22 +924,20 @@ unit_RenameCon =
       forgetMetadata (astDefExpr def)
         @?= forgetMetadata
           ( create' $
-              hole
-                ( hole $
-                    case_
-                      ( con
-                          (vcn "A'")
-                          [ con0 (vcn "True")
-                          , con0 (vcn "True")
-                          , con0 (vcn "True")
-                          ]
-                          `ann` (tcon tT `tapp` tEmptyHole `tapp` tEmptyHole)
-                      )
-                      [ branch (vcn "A'") [("p", Nothing), ("q", Nothing), ("p1", Nothing)] emptyHole
-                      , branch cB [("r", Nothing), ("x", Nothing)] emptyHole
+              hole $
+                case_
+                  ( con
+                      (vcn "A'")
+                      [ con0 (vcn "True")
+                      , con0 (vcn "True")
+                      , con0 (vcn "True")
                       ]
-                      `ann` tEmptyHole
-                )
+                      `ann` (tcon tT `tapp` tEmptyHole `tapp` tEmptyHole)
+                  )
+                  [ branch (vcn "A'") [("p", Nothing), ("q", Nothing), ("p1", Nothing)] emptyHole
+                  , branch cB [("r", Nothing), ("x", Nothing)] emptyHole
+                  ]
+                  `ann` tEmptyHole
           )
 
 unit_RenameCon_clash :: Assertion
@@ -952,15 +948,13 @@ unit_RenameCon_clash =
           [ do
               x <-
                 hole
-                  ( hole
-                      ( con
-                          cA
-                          [ emptyHole
-                          , emptyHole
-                          , emptyHole
-                          ]
-                          `ann` (tcon tT `tapp` tEmptyHole `tapp` tEmptyHole)
-                      )
+                  ( con
+                      cA
+                      [ emptyHole
+                      , emptyHole
+                      , emptyHole
+                      ]
+                      `ann` (tcon tT `tapp` tEmptyHole `tapp` tEmptyHole)
                   )
               astDef "def" x <$> tEmptyHole
           ]