git.iko.soy/Idris-dev
on master help sign in
Don't include the executable in the output.
7f51692Niklas Larsson
test/disambig001/disambig001.idr+1−1
compare with master
unifiedsplit
@@ -8,5 +8,5 @@ import Effect.System
8main : IO ()
8main : IO ()
9main = do
9main = do
10 args <- System.getArgs
10 args <- System.getArgs
11− putStrLn (concat args)
11+ putStrLn (concat (drop 1 args))
12
12
test/disambig001/expected+1−1
@@ -1 +1 @@
1−./disambig001foobar
1+foobar