From 37d0200c7fd022d1d041a5a9bbe178cbfad3ea1e Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Mon, 10 Jan 2011 10:34:09 +0000
Subject: added testsuite for the parser

---
 testsuite/runtime/parser/DummyNat.gf | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 testsuite/runtime/parser/DummyNat.gf

(limited to 'testsuite/runtime/parser/DummyNat.gf')

diff --git a/testsuite/runtime/parser/DummyNat.gf b/testsuite/runtime/parser/DummyNat.gf
new file mode 100644
index 000000000..ecbc66358
--- /dev/null
+++ b/testsuite/runtime/parser/DummyNat.gf
@@ -0,0 +1,8 @@
+abstract DummyNat = {
+
+cat Nat ;
+fun zero : Nat ;
+    succ : Nat -> Nat ;
+    plus : Nat -> Nat -> Nat ;
+
+}
-- 
cgit v1.2.3