make test for relop-length more sensitive

5_2.ms
gongchengra · May 24, 2019 · b34695b · b34695b
1 parent 587e0f4
commit b34695b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git 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
@@ -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)