[ fix ] Fix ambiguous map in Core.system

idris-lang · Dec 3, 2024 · d89dd5a · d89dd5a
1 parent d8d360a
commit d89dd5a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Core/Core.idr b/src/Core/Core.idr
@@ -989,7 +989,7 @@ handleExitCode cmd (ExitFailure status) = throw $ NonZeroExitCode cmd status
 
 export
 system : String -> Core ExitCode
-system = map cast . coreLift . system
+system = Core.map cast . coreLift . system
 
 ||| Execute a shell command. Throws `NonZeroExitCode` if the command returns
 ||| non-zero exit code.
@@ -1000,7 +1000,7 @@ safeSystem cmd = system cmd >>= handleExitCode cmd
 namespace Escaped
   export
   system : List String -> Core ExitCode
-  system = map cast . coreLift . system
+  system = Core.map cast . coreLift . system
 
   export
   safeSystem : List String -> Core ()