summaryrefslogtreecommitdiff
path: root/test-suite/tests/peval.test
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2013-08-13 23:34:32 -0400
committerMark H Weaver <mhw@netris.org>2013-08-13 23:34:32 -0400
commitf499d6e31a8554b3191c80c0e8c25e274ee5671d (patch)
treee0b1615f42547321daea4bee48d4889ad90f8600 /test-suite/tests/peval.test
parent79a6c3be6a7085e5a602f5306f162e5c93c1636a (diff)
downloadguile-f499d6e31a8554b3191c80c0e8c25e274ee5671d.tar.gz
Adapt peval.test to recent associativity fixes of numeric ops.
* test-suite/tests/peval.test ("partial evaluation"): Adapt tests to the fact that arithmetic operators are now expanded into binary ops with left-to-right associativity.
Diffstat (limited to 'test-suite/tests/peval.test')
-rw-r--r--test-suite/tests/peval.test21
1 files changed, 9 insertions, 12 deletions
diff --git a/test-suite/tests/peval.test b/test-suite/tests/peval.test
index 0b981d805..270224ecb 100644
--- a/test-suite/tests/peval.test
+++ b/test-suite/tests/peval.test
@@ -347,20 +347,17 @@
(f z y)))
(primcall
+
- (const -1) ; (f -1 0)
(primcall
+
- (const 0) ; (f 1 0)
(primcall
+
- (seq (toplevel y) (const -1)) ; (f -1 y)
- (primcall
- +
- (toplevel y) ; (f 2 y)
- (let (x y) (_ _) ((toplevel z) (toplevel y)) ; (f z y)
- (if (primcall > (lexical x _) (const 0))
- (lexical y _)
- (lexical x _))))))))
+ (const -1) ; (f -1 0)
+ (seq (toplevel y) (const -1))) ; (f -1 y)
+ (toplevel y)) ; (f 2 y)
+ (let (x y) (_ _) ((toplevel z) (toplevel y)) ; (f z y)
+ (if (primcall > (lexical x _) (const 0))
+ (lexical y _)
+ (lexical x _)))))
(pass-if-peval
;; First order, conditional.
@@ -614,8 +611,8 @@
(call (toplevel display) (const chbouib))))
(let (y) (_) ((primcall * (lexical x _) (const 2)))
(primcall +
- (lexical x _)
- (primcall + (lexical x _) (lexical y _))))))
+ (primcall + (lexical x _) (lexical x _))
+ (lexical y _)))))
(pass-if-peval
;; Non-constant arguments not propagated to lambdas.