New test
commit23426567929207aba5f40559b55c5ba3b708517c
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateWed 21 Dec 2011, 09:11 (15 years ago)
parent397542c
test/test005/expectednew file+6
@@ -0,0 +1,6 @@
1+8
2+sO
3+(abc, 123)
4+(abc, 123)
5+([1, 2], [3, 4, 5])
6+([1, 2], [3, 4, 5])
test/test005/runnew file+4
@@ -0,0 +1,4 @@
1+#!/bin/bash
2+idris test005.idr -o test005
3+./test005
4+rm -f test005 test005.ibc
test/test005/test005.idrnew file+16
@@ -0,0 +1,16 @@
1+module main;
2+
3+tstr : String;
4+tstr = "abc123";
5+
6+tlist : List Int;
7+tlist = [1, 2, 3, 4, 5];
8+
9+main : IO ();
10+main = do { print (abs (-8));
11+ print (abs (S O));
12+ print (span isAlpha tstr);
13+ print (break isDigit tstr);
14+ print (span (\x => x < 3) tlist);
15+ print (break (\x => x > 2) tlist);
16+ };