From 4e1df7eb59c10cb9735e650c39bc0332202bdffc Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 10 Dec 2013 16:49:40 +0000 Subject: [PATCH] testsuite: fix test of generate_trees There were two differences between the current output and the old gold file: 1. The trees are no longer generated with increasing depth 2. The meaning of the -depth flag has changed: for example, "gt -cat=Nat -depth=1" used to generate only "zero", now you also get "succ zero". --- .../abstract-operations.gfs | 2 +- .../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) +