Don't include the executable in the output.
It is different on Windows (not only .exe, it's the whole path
so it's impossible to predict).
commit7f5169216684a0a45a8e6e036063371936701e93
authorNiklas Larsson <niklas@mm.st>
dateFri 22 May 2015, 18:50 (11 years ago)
parent1843d02
test/disambig001/disambig001.idr+1−1
@@ -8,5 +8,5 @@ import Effect.System
88main : IO ()
99main = do
1010 args <- System.getArgs
11− putStrLn (concat args)
11+ putStrLn (concat (drop 1 args))
1212
test/disambig001/expected+1−1
@@ -1 +1 @@
1−./disambig001foobar
1+foobar