diff options
| author | krasimir <krasimir@chalmers.se> | 2009-05-20 15:01:52 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-05-20 15:01:52 +0000 |
| commit | 0d36ec58794e507a62a7881eda0f965948b5c1fb (patch) | |
| tree | a874bd2fa86c5ec69c917fb9bbef8f6bd3d17228 /testsuite | |
| parent | 5e054f9b0914c88df98a7168fd8647d30bfc1e4b (diff) | |
added testcases for abstract syntax computation
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/paraphrase/Nat.gf | 5 | ||||
| -rw-r--r-- | testsuite/paraphrase/test.gfs.gold | 11 |
2 files changed, 16 insertions, 0 deletions
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))
+
|