From f499d6e31a8554b3191c80c0e8c25e274ee5671d Mon Sep 17 00:00:00 2001 From: Mark H Weaver Date: Tue, 13 Aug 2013 23:34:32 -0400 Subject: [PATCH] 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. --- test-suite/tests/peval.test | 21 +++++++++------------ 1 file 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. -- 2.20.1