2342656 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

New test

2342656Edwin Brady15 years ago

test/test005/expectednew file+6

compare with master

@@ -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+ };