From d64af4df5dc34d2f610c01d3cd621df7edff8350 Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Mon, 16 May 2011 18:39:22 -0400
Subject: [PATCH] Add in-complex-layer?.

original commit: 2a7254a324e6ec68982d3966df04e8c264d89bca
---
 collects/typed-scheme/optimizer/numeric-utils.rkt | 3 +++
 1 file changed, 3 insertions(+)

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 ...)))