diff options
author | Mark H Weaver <mhw@netris.org> | 2013-08-13 23:34:32 -0400 |
---|---|---|
committer | Mark H Weaver <mhw@netris.org> | 2013-08-13 23:34:32 -0400 |
commit | f499d6e31a8554b3191c80c0e8c25e274ee5671d (patch) | |
tree | e0b1615f42547321daea4bee48d4889ad90f8600 | |
parent | 79a6c3be6a7085e5a602f5306f162e5c93c1636a (diff) | |
download | guile-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.
-rw-r--r-- | test-suite/tests/peval.test | 21 |
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. |