Remove duplicate function used by tests

src/Juvix/Compiler/Pipeline/Run.hs

@@ -92,9 +92,6 @@ runIO opts entry = runIOEither entry >=> mayThrow
       Left err -> runM . runReader opts $ printErrorAnsiSafe err >> embed exitFailure
       Right r -> return r
 
-runIO' :: EntryPoint -> Sem PipelineEff a -> IO (ResolverState, a)
-runIO' = runIOLockMode LockModeExclusive defaultGenericOptions
-
 runIOExclusive :: EntryPoint -> Sem PipelineEff a -> IO (ResolverState, a)
 runIOExclusive = runIOLockMode LockModeExclusive defaultGenericOptions
 

test/BackendGeb/Compilation/Base.hs

@@ -15,5 +15,5 @@ gebCompilationAssertion ::
 gebCompilationAssertion root mainFile expectedFile step = do
   step "Translate to JuvixCore"
   entryPoint <- set entryPointTarget TargetGeb <$> defaultEntryPointIO' LockModeExclusive root mainFile
-  tab <- (^. Core.coreResultTable) . snd <$> runIO' entryPoint upToCore
+  tab <- (^. Core.coreResultTable) . snd <$> runIOExclusive entryPoint upToCore
   coreToGebTranslationAssertion' tab entryPoint expectedFile step

test/Compilation/Base.hs

@@ -43,7 +43,7 @@ compileErrorAssertion ::
 compileErrorAssertion root' mainFile step = do
   step "Translate to JuvixCore"
   entryPoint <- defaultEntryPointIO' LockModeExclusive root' mainFile
-  tab <- (^. Core.coreResultTable) . snd <$> runIO' entryPoint upToCore
+  tab <- (^. Core.coreResultTable) . snd <$> runIOExclusive entryPoint upToCore
   case run $ runReader Core.defaultCoreOptions $ runError @JuvixError $ Core.toStripped' tab of
     Left _ -> assertBool "" True
     Right _ -> assertFailure "no error"

test/Format.hs

@@ -41,12 +41,12 @@ testDescr PosTest {..} =
         original :: Text <- readFile (toFilePath f)
 
         step "Parsing"
-        p :: Parser.ParserResult <- snd <$> runIO' entryPoint upToParsing
+        p :: Parser.ParserResult <- snd <$> runIOExclusive entryPoint upToParsing
 
         step "Scoping"
         s :: Scoper.ScoperResult <-
           snd
-            <$> runIO'
+            <$> runIOExclusive
               entryPoint
               ( do
                   void (entrySetup defaultDependenciesConfig)

test/Internal/Eval/Base.hs

@@ -17,7 +17,7 @@ internalCoreAssertion :: Path Abs Dir -> Path Abs File -> Path Abs File -> (Stri
 internalCoreAssertion root' mainFile expectedFile step = do
   step "Translate to Core"
   entryPoint <- defaultEntryPointIO' LockModeExclusive root' mainFile
-  tab0 <- (^. Core.coreResultTable) . snd <$> runIO' entryPoint upToCore
+  tab0 <- (^. Core.coreResultTable) . snd <$> runIOExclusive entryPoint upToCore
   let tab = etaExpansionApps tab0
   case (tab ^. infoMain) >>= ((tab ^. identContext) HashMap.!?) of
     Just node -> do

test/Markdown.hs

@@ -38,11 +38,11 @@ testDescr PosTest {..} =
       _testAssertion = Steps $ \step -> do
         entryPoint <- defaultEntryPointIO' LockModeExclusive _dir _file
         step "Parsing"
-        p :: Parser.ParserResult <- snd <$> runIO' entryPoint upToParsing
+        p :: Parser.ParserResult <- snd <$> runIOExclusive entryPoint upToParsing
         step "Scoping"
         s :: Scoper.ScoperResult <-
           snd
-            <$> runIO'
+            <$> runIOExclusive
               entryPoint
               ( do
                   void (entrySetup defaultDependenciesConfig)

test/Reachability/Positive.hs

@@ -33,7 +33,7 @@ testDescr PosTest {..} =
                 <$> defaultEntryPointIO' LockModeExclusive tRoot file'
 
             step "Pipeline up to reachability"
-            p :: Internal.InternalTypedResult <- snd <$> runIO' entryPoint upToInternalReachability
+            p :: Internal.InternalTypedResult <- snd <$> runIOExclusive entryPoint upToInternalReachability
 
             step "Check reachability results"
             let names = concatMap getNames (p ^. Internal.resultModules)

test/Termination/Positive.hs

@@ -22,7 +22,7 @@ testDescr PosTest {..} =
           _testRoot = tRoot,
           _testAssertion = Single $ do
             entryPoint <- set entryPointNoStdlib True <$> defaultEntryPointIO' LockModeExclusive tRoot file'
-            (void . runIO' entryPoint) upToInternalTyped
+            (void . runIOExclusive entryPoint) upToInternalTyped
         }
 
 --------------------------------------------------------------------------------
@@ -44,7 +44,7 @@ testDescrFlag N.NegTest {..} =
               set entryPointNoTermination True
                 . set entryPointNoStdlib True
                 <$> defaultEntryPointIO' LockModeExclusive tRoot file'
-            (void . runIO' entryPoint) upToInternalTyped
+            (void . runIOExclusive entryPoint) upToInternalTyped
         }
 
 tests :: [PosTest]

test/Typecheck/Positive.hs

@@ -29,7 +29,7 @@ testDescr PosTest {..} =
       _testRoot = _dir,
       _testAssertion = Single $ do
         entryPoint <- defaultEntryPointIO' LockModeExclusive _dir _file
-        (void . runIO' entryPoint) upToInternalTyped
+        (void . runIOExclusive entryPoint) upToInternalTyped
     }
 
 rootNegTests :: Path Abs Dir
@@ -47,7 +47,7 @@ testNoPositivityFlag N.NegTest {..} =
             entryPoint <-
               set entryPointNoPositivity True
                 <$> defaultEntryPointIO' LockModeExclusive tRoot file'
-            (void . runIO' entryPoint) upToInternalTyped
+            (void . runIOExclusive entryPoint) upToInternalTyped
         }
 
 negPositivityTests :: [N.NegTest]

test/Typecheck/PositiveNew.hs

@@ -21,7 +21,7 @@ testDescr Old.PosTest {..} =
       _testRoot = _dir,
       _testAssertion = Single $ do
         entryPoint <- set entryPointNewTypeCheckingAlgorithm True <$> defaultEntryPointIO' LockModeExclusive _dir _file
-        (void . runIO' entryPoint) upToInternalTyped
+        (void . runIOExclusive entryPoint) upToInternalTyped
     }
 
 allTests :: TestTree