Add test that IPKG executable accepts namespaced identifier
This tests that the current behavior of Idris when parsing the target
executable name is preserved.
commit4274456d4d30aff4ea201cdcc7d9ad6fbf04636f
authorJeremy W. Sherman <jeremyw.sherman@gmail.com>
dateMon 12 Oct 2015, 23:28 (11 years ago)
parent67ff67e
test/pkg002/Main.idrnew file+4
@@ -0,0 +1,4 @@
1+module Main
2+
3+main : IO ()
4+main = putStrLn "CouCou!"
test/pkg002/expectednew file+1
@@ -0,0 +1 @@
1+Type checking ./Main.idr
test/pkg002/runnew file+5
@@ -0,0 +1,5 @@
1+#!/usr/bin/env bash
2+### Test: IPKG executable names can be any namespaced identifier.
3+idris $@ --build test.ipkg
4+rm -f *.ibc
5+rm -f some.namespaced.identifier
test/pkg002/test.ipkgnew file+6
@@ -0,0 +1,6 @@
1+package test
2+
3+modules = Main
4+
5+main = Main
6+executable = some.namespaced.identifier