[ breaking ] Change the default passed arg to a pack lock

buzden · Sep 8, 2023 · adaa3b3 · adaa3b3
1 parent 08c47cd
commit adaa3b3
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/src/Test/Golden/RunnerHelper.idr b/src/Test/Golden/RunnerHelper.idr
@@ -22,10 +22,13 @@ interface RunScriptArg where
   constructor MkRunScriptArg
   runScriptArg : String
 
+||| When no default argument is given, is passes a filename for "pack lock",
+||| a file to be locked over when running `pack -q install-deps test.ipkg` using `flock`.
+||| This is most useful when testing libraries, this only `pack` or `idris2` commands are used in tests.
 public export
 %defaulthint
-DefaultRunScriptArg : RunScriptArg
-DefaultRunScriptArg = MkRunScriptArg "idris2"
+DefaultRunScriptArg : BaseTestsDir => RunScriptArg
+DefaultRunScriptArg = MkRunScriptArg $ baseTestsDir ++ "/.pack_lock"
 
 --- Options management ---
 

diff --git a/tests/runner/Runner.idr b/tests/runner/Runner.idr
@@ -4,9 +4,6 @@ import BaseDir
 
 import Test.Golden.RunnerHelper
 
-RunScriptArg where
-  runScriptArg = baseTestsDir ++ "/.pack_lock"
-
 main : IO ()
 main = goldenRunner
   [ "Simple tests" `atDir` "simple-tests"