From 23426567929207aba5f40559b55c5ba3b708517c Mon Sep 17 00:00:00 2001
From: Edwin Brady <eb@cs.st-andrews.ac.uk>
Date: Wed, 21 Dec 2011 09:11:49 +0000
Subject: [PATCH] New test

---
 test/test005/expected    |  6 ++++++
 test/test005/run         |  4 ++++
 test/test005/test005.idr | 16 ++++++++++++++++
 3 files changed, 26 insertions(+)
 create mode 100644 test/test005/expected
 create mode 100755 test/test005/run
 create mode 100644 test/test005/test005.idr

diff --git a/test/test005/expected b/test/test005/expected
new file mode 100644
index 000000000..390001daf
--- /dev/null
+++ b/test/test005/expected
@@ -0,0 +1,6 @@
+8
+sO
+(abc, 123)
+(abc, 123)
+([1, 2], [3, 4, 5])
+([1, 2], [3, 4, 5])
diff --git a/test/test005/run b/test/test005/run
new file mode 100755
index 000000000..2289e2e64
--- /dev/null
+++ b/test/test005/run
@@ -0,0 +1,4 @@
+#!/bin/bash
+idris test005.idr -o test005
+./test005
+rm -f test005 test005.ibc
diff --git a/test/test005/test005.idr b/test/test005/test005.idr
new file mode 100644
index 000000000..d0b55860d
--- /dev/null
+++ b/test/test005/test005.idr
@@ -0,0 +1,16 @@
+module main;
+
+tstr : String;
+tstr = "abc123";
+
+tlist : List Int;
+tlist = [1, 2, 3, 4, 5];
+
+main : IO ();
+main = do { print (abs (-8));
+            print (abs (S O)); 
+            print (span isAlpha tstr);
+            print (break isDigit tstr);
+            print (span (\x => x < 3) tlist);
+            print (break (\x => x > 2) tlist);
+          };