From 387eb470d8682359b0057d3812285a30dc0eb30a Mon Sep 17 00:00:00 2001 From: Jacqueline Firth Date: Mon, 7 Oct 2024 16:18:17 -0700 Subject: [PATCH] Revert `or-in-for/and-to-filter-clause` resyntax rule application --- typed-racket-lib/typed-racket/optimizer/float.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/typed-racket-lib/typed-racket/optimizer/float.rkt b/typed-racket-lib/typed-racket/optimizer/float.rkt index 873197332..867b1f0b1 100644 --- 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)))