diff --git a/collects/typed-scheme/optimizer/numeric-utils.rkt b/collects/typed-scheme/optimizer/numeric-utils.rkt index 6731660d..9c50b1be 100644 --- a/collects/typed-scheme/optimizer/numeric-utils.rkt +++ b/collects/typed-scheme/optimizer/numeric-utils.rkt @@ -21,6 +21,9 @@ (and (subtypeof? t -Real) (not (subtypeof? t -Rat)) (not (subtypeof? t -Flonum)))) +(define (in-complex-layer? t) + (and (subtypeof? t -Number) + (not (subtypeof? t -Real)))) (define-syntax-class arith-expr (pattern (#%plain-app op:arith-op args ...)))