diff options
| -rw-r--r-- | testsuite/compiler/check/abstract-operations/abstract-operations.gfs | 2 | ||||
| -rw-r--r-- | testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold | 27 |
2 files changed, 15 insertions, 14 deletions
diff --git a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs index aba4aaf22..085b2b913 100644 --- a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs +++ b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs @@ -1,5 +1,5 @@ -- here we test that the abstract operations are not used for proof search i testsuite/compiler/check/abstract-operations/Nat.gf -gt -cat=Nat -number=10 -depth=10 +gt -cat=Nat -number=11 -depth=10 pt -compute (twice (succ zero)) diff --git a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold index c0a36cff0..2b1a1b406 100644 --- a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold +++ b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold @@ -1,13 +1,14 @@ -zero
-succ zero
-succ (succ zero)
-succ (succ (succ zero))
-succ (succ (succ (succ zero)))
-succ (succ (succ (succ (succ zero))))
-succ (succ (succ (succ (succ (succ zero)))))
-succ (succ (succ (succ (succ (succ (succ zero))))))
-succ (succ (succ (succ (succ (succ (succ (succ zero)))))))
-succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))
-
-succ (succ zero)
-
+succ (succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))) +succ (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))) +succ (succ (succ (succ (succ (succ (succ (succ zero))))))) +succ (succ (succ (succ (succ (succ (succ zero)))))) +succ (succ (succ (succ (succ (succ zero))))) +succ (succ (succ (succ (succ zero)))) +succ (succ (succ (succ zero))) +succ (succ (succ zero)) +succ (succ zero) +succ zero +zero + +succ (succ zero) + |