From 8040ee8831493db229b4d554ceb3fada46c9fc77 Mon Sep 17 00:00:00 2001
From: Vincent St-Amour <stamourv@racket-lang.org>
Date: Thu, 17 Mar 2011 13:29:06 -0400
Subject: [PATCH] Fix type names.

original commit: 4ba3f1a6ddde6a69cd110435a0294136eb7efd13
---
 collects/typed-scheme/types/numeric-tower.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/typed-scheme/types/numeric-tower.rkt b/collects/typed-scheme/types/numeric-tower.rkt
index 9d10a7dc..3841af71 100644
--- a/collects/typed-scheme/types/numeric-tower.rkt
+++ b/collects/typed-scheme/types/numeric-tower.rkt
@@ -72,7 +72,7 @@
 (define -PosFixnum    (*Un -PosFixnumNotIndex -PosIndex))
 (define -NonNegFixnum (*Un -PosFixnum -Zero))
 (define -NegFixnum
-  (make-Base 'Negative-Fixnum-Not-Index
+  (make-Base 'Negative-Fixnum
              #'(and/c fixnum? negative?)
              (conjoin portable-fixnum? negative?)
              #'-NegFixnum))
@@ -205,7 +205,7 @@
 ;; Thus, the only possible kinds of complex numbers are:
 ;; Real/Real, Flonum/Flonum, SingleFlonum/SingleFlonum
 (define -ExactNumberNotReal
-  (make-Base 'Complex-Not-Real
+  (make-Base 'Exact-Number-Not-Real
              #'(and/c number?
                       (not/c real?)
                       (lambda (x) (exact? (imag-part x))))