Add in-complex-layer?.

original commit: 2a7254a324e6ec68982d3966df04e8c264d89bca
2011-05-16 18:39:22 -04:00 · 2011-05-16 18:39:22 -04:00 · d64af4df5d
commit d64af4df5d
parent 292433204b
1 changed files with 3 additions and 0 deletions
--- 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 ...)))