Fixed bug: Threading of Times over lists works now.

2013-04-07 14:29:53 +02:00 · 2013-04-07 14:29:53 +02:00 · a55fe0370a
commit a55fe0370a
parent 3b253b7aca
1 changed files with 3 additions and 1 deletions
--- a/bracket/bracket.rkt
+++ b/bracket/bracket.rkt
@ -441,7 +441,9 @@
          (construct
           'List (map 
                  (λ (u1i u2i) 
-                    (construct 'Times (simplify-times-rec (list u1i u2i))))
+                    (define us (simplify-times-rec (list u1i u2i)))
+                    (cond [(empty? (rest us)) (first us)]
+                          [else               (construct 'Times us)]))
                  (operands u1) (operands u2)))]
         [(and (list-expression? u1) (list-expression? u2))
          ; lists of different lengths => do nothing