git.iko.soy/Idris-dev
on master help sign in
Add test that IPKG executable accepts namespaced identifier
4274456Jeremy W. Sherman
test/pkg002/Main.idrnew file+4
compare with master
unifiedsplit
@@ -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