diff options
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))
+
|