git.iko.soy/Idris-dev
on master help sign in
Add test that quoted strings with valid filenames are OK
a22dd61Jeremy W. Sherman
test/pkg003/Main.idrnew file+4
compare with master
unifiedsplit
@@ -0,0 +1,4 @@
1+module Main
2+
3+main : IO ()
4+main = putStrLn "CouCou!"
test/pkg003/expectednew file+1
@@ -0,0 +1 @@
1+Type checking ./Main.idr
test/pkg003/runnew file+6
@@ -0,0 +1,6 @@
1+#!/usr/bin/env bash
2+### Test: IPKG executable names can be a quoted string
3+### containing a valid filename.
4+idris $@ --build test.ipkg
5+rm -f *.ibc
6+rm -f 'quoting-allows-hyphens and spaces? and fun stuff!'
test/pkg003/test.ipkgnew file+6
@@ -0,0 +1,6 @@
1+package test
2+
3+modules = Main
4+
5+main = Main
6+executable = "quoting-allows-hyphens and spaces? and fun stuff!"