Added tests
commit14cf196d9779f693059783e8963095f325ba3300
authorZack Grannan <zgrannan@gmail.com>
dateMon 28 Sep 2015, 19:50 (11 years ago)
parent72d3e86
test/interactive010/expectednew file+7
@@ -0,0 +1,7 @@
1+Idris> Prelude.List.(++) : List a -> List a -> List a
2+Prelude.Strings.(++) : String -> String -> String
3+Idris> Prelude.List.(++) : List a -> List a -> List a
4+Prelude.Strings.(++) : String -> String -> String
5+Idris> (++) : List a -> List a -> List a
6+Idris> (++) : List a -> List a -> List a
7+Idris> Bye bye
test/interactive010/inputnew file+4
@@ -0,0 +1,4 @@
1+:type (++)
2+:type ++
3+:type List.(++)
4+:type List.++
test/interactive010/runnew file+2
@@ -0,0 +1,2 @@
1+#!/usr/bin/env bash
2+idris --nobanner --nocolor < input