Add test that quoted strings with valid filenames are OK
This tests the new functionality added to support hyphens in filenames
(see: https://github.com/idris-lang/Idris-dev/issues/2721).
commita22dd61eacd27ccfdb9b1d06828b82ccabfacec0
authorJeremy W. Sherman <jeremyw.sherman@gmail.com>
dateMon 12 Oct 2015, 23:33 (11 years ago)
parent4274456
test/pkg003/Main.idrnew file+4
@@ -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!"