From 40d33fc72e41a35bef6518edba86db87d1a369f8 Mon Sep 17 00:00:00 2001 From: Gustavo Massaccesi Date: Thu, 23 May 2019 19:57:47 -0300 Subject: [PATCH] make test for relop-length more sensitive 5_2.ms original commit: b34695bb3faa28c3e55d65cc659f6a9f2c3b1547 --- LOG | 2 ++ mats/5_2.ms | 4 ++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/LOG b/LOG index f71a16dc12..2820179afb 100644 --- a/LOG +++ b/LOG @@ -1368,3 +1368,5 @@ primdata.ss - small fix in relop-length to enable the optimization cpnanopass.ss +- make test for relop-length more sensitive + 5_2.ms diff --git a/mats/5_2.ms b/mats/5_2.ms index c291c79696..8410009f24 100644 --- a/mats/5_2.ms +++ b/mats/5_2.ms @@ -188,7 +188,7 @@ [(_ prim) (let () (define (f x) - (and + (list (prim (#3%length x) 0) (prim 0 (#3%length x)) (prim (#3%length x) 1) @@ -204,7 +204,7 @@ (let ([n (length x)]) (equal? (f x) - (and + (list (prim n 0) (prim 0 n) (prim n 1)