14cf196 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Added tests

14cf196Zack Grannan11 years ago

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