From 4a2b219921c3f5f171b288a0af52810fbe98e3ac Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 20 May 2009 15:01:52 +0000 Subject: [PATCH] added testcases for abstract syntax computation --- testsuite/paraphrase/Nat.gf | 5 +++++ testsuite/paraphrase/test.gfs.gold | 11 +++++++++++ 2 files changed, 16 insertions(+) create mode 100644 testsuite/paraphrase/test.gfs.gold diff --git a/testsuite/paraphrase/Nat.gf b/testsuite/paraphrase/Nat.gf index 7caa0fc93..b55333472 100644 --- a/testsuite/paraphrase/Nat.gf +++ b/testsuite/paraphrase/Nat.gf @@ -26,4 +26,9 @@ def four = twice (twice one) ; fun exp : Nat -> Nat ; def exp Zero = one ; def exp (Succ x) = twice (exp x) ; + +fun plus' : Nat -> Nat -> Nat ; +def plus' Zero = \y -> y ; +def plus' (Succ x) = \y -> Succ (plus x y) ; + } diff --git a/testsuite/paraphrase/test.gfs.gold b/testsuite/paraphrase/test.gfs.gold new file mode 100644 index 000000000..7817d2e67 --- /dev/null +++ b/testsuite/paraphrase/test.gfs.gold @@ -0,0 +1,11 @@ +Succ (Succ Zero) + +Succ (Succ (Succ Zero)) + +Succ (Succ Zero) + +unknown variable two +Succ Zero + +Succ (Succ (Succ Zero)) +