Add a test for compiler filename warnings
commitc629b605b1eb73bc33c1566f1d3c1f3148617bb7
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateWed 24 Sep 2014, 10:56 (12 years ago)
parente8aca59
test/interactive005/expected+1
@@ -31,3 +31,4 @@ main : IO ()
3131 This is a docstring
3232
3333Nat2 : Type
34+Invalid filename for compiler output "Test.idr"
test/interactive005/input+2
@@ -19,3 +19,5 @@ the Nat (1 + 2)
1919:doc main
2020:let data Nat2 = Zero | Succ Nat2
2121:t Nat2
22+:compile Test.idr
23+:compile a.out
test/interactive005/run+1
@@ -3,3 +3,4 @@ idris --quiet interactive005.idr < input
33rm -f *.ibc
44rm -f hello.bytecode
55rm -f hello
6+rm -f a.out