Revert or-in-for/and-to-filter-clause resyntax rule application

racket · Oct 9, 2024 · 387eb47 · 387eb47
1 parent ba9c141
commit 387eb47
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/typed-racket-lib/typed-racket/optimizer/float.rkt b/typed-racket-lib/typed-racket/optimizer/float.rkt
@@ -142,10 +142,10 @@
                           ;;   (Note: could allow for more args, if not next to each other, but
                           ;;    probably not worth the trouble (most ops have 2 args anyway))
                           (and (subtypeof? this-syntax -Flonum)
-                               (for/and ([a (in-syntax #'(fs ...))]
-                                         #:unless (subtypeof? a -Flonum))
+                               (for/and ([a (in-syntax #'(fs ...))])
                                  ;; flonum or provably non-zero
-                                 (subtypeof? a (Un -PosReal -NegReal)))
+                                 (or (subtypeof? a -Flonum)
+                                     (subtypeof? a (Un -PosReal -NegReal))))
                                (>= 1
                                    (for/sum ([a (in-syntax #'(fs ...))]
                                              #:when (not (subtypeof? a -Flonum)))