From 37d0200c7fd022d1d041a5a9bbe178cbfad3ea1e Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 10 Jan 2011 10:34:09 +0000 Subject: added testsuite for the parser --- testsuite/runtime/parser/DummyNatCnc.gf | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 testsuite/runtime/parser/DummyNatCnc.gf (limited to 'testsuite/runtime/parser/DummyNatCnc.gf') diff --git a/testsuite/runtime/parser/DummyNatCnc.gf b/testsuite/runtime/parser/DummyNatCnc.gf new file mode 100644 index 000000000..209c7596f --- /dev/null +++ b/testsuite/runtime/parser/DummyNatCnc.gf @@ -0,0 +1,8 @@ +concrete DummyNatCnc of DummyNat = { + +lincat Nat = Str ; +lin zero = "z" ; + succ n = n ; + plus m n = m ++ n ; + +} -- cgit v1.2.3