Add in-complex-layer?.

2011-05-16 18:39:22 -04:00 · 2011-05-16 18:39:22 -04:00 · 2a7254a324
commit 2a7254a324
parent 2a4a4e8184
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 ...)))