Rename No-Nan to Not-Nan.

typed-racket-doc/typed-racket/scribblings/reference/types.scrbl

@@ -135,14 +135,14 @@ Positive-Integer-Not-Fixnum
 Zero
 Positive-Float
 Positive-Flonum
-Positive-Float-No-Nan
-Positive-Flonum-No-Nan
+Positive-Float-Not-Nan
+Positive-Flonum-Not-Nan
 Nonnegative-Float
 Nonnegative-Flonum
 Negative-Float
 Negative-Flonum
-Negative-Float-No-Nan
-Negative-Flonum-No-Nan
+Negative-Float-Not-Nan
+Negative-Flonum-Not-Nan
 Nonpositive-Float
 Nonpositive-Flonum
 Float-Negative-Zero
@@ -155,14 +155,14 @@ Float-Nan
 Flonum-Nan
 Positive-Single-Flonum
 Positive-Single-Float
-Positive-Single-Flonum-No-Nan
-Positive-Single-Float-No-Nan
+Positive-Single-Flonum-Not-Nan
+Positive-Single-Float-Not-Nan
 Nonnegative-Single-Flonum
 Nonnegative-Single-Float
 Negative-Single-Flonum
 Negative-Single-Float
-Negative-Single-Flonum-No-Nan
-Negative-Single-Float-No-Nan
+Negative-Single-Flonum-Not-Nan
+Negative-Single-Float-Not-Nan
 Nonpositive-Single-Flonum
 Nonpositive-Single-Float
 Single-Flonum-Negative-Zero
@@ -258,14 +258,14 @@ ExtFlonum
 ExtFloat
 Positive-ExtFlonum
 Positive-ExtFloat
-Positive-ExtFlonum-No-Nan
-Positive-ExtFloat-No-Nan
+Positive-ExtFlonum-Not-Nan
+Positive-ExtFloat-Not-Nan
 Nonnegative-ExtFlonum
 Nonnegative-ExtFloat
 Negative-ExtFlonum
 Negative-ExtFloat
-Negative-ExtFlonum-No-Nan
-Negative-ExtFloat-No-Nan
+Negative-ExtFlonum-Not-Nan
+Negative-ExtFloat-Not-Nan
 Nonpositive-ExtFlonum
 Nonpositive-ExtFloat
 ExtFlonum-Negative-Zero

typed-racket-lib/typed-racket/base-env/base-types.rkt

@@ -46,12 +46,12 @@
 [Nonpositive-Single-Flonum -NonPosSingleFlonum #:alias (Nonpositive-Single-Float)]
 [Negative-Inexact-Real -NegInexactReal]
 [Negative-Single-Flonum -NegSingleFlonum #:alias (Negative-Single-Float)]
-[Negative-Single-Flonum-No-Nan -NegSingleFlonumNoNan #:alias (Negative-Single-Float-No-Nan)]
+[Negative-Single-Flonum-Not-Nan -NegSingleFlonumNoNan #:alias (Negative-Single-Float-Not-Nan)]
 [Nonnegative-Inexact-Real -NonNegInexactReal]
 [Nonnegative-Single-Flonum -NonNegSingleFlonum #:alias (Nonnegative-Single-Float)]
 [Positive-Inexact-Real -PosInexactReal]
 [Positive-Single-Flonum -PosSingleFlonum #:alias (Positive-Single-Float)]
-[Positive-Single-Flonum-No-Nan -PosSingleFlonumNoNan #:alias (Positive-Single-Float-No-Nan)]
+[Positive-Single-Flonum-Not-Nan -PosSingleFlonumNoNan #:alias (Positive-Single-Float-Not-Nan)]
 [Inexact-Real-Nan -InexactRealNan]
 [Inexact-Real-Zero -InexactRealZero]
 [Inexact-Real-Negative-Zero -InexactRealNegZero]
@@ -63,10 +63,10 @@
 [Flonum -Flonum #:alias (Float)]
 [Nonpositive-Flonum -NonPosFlonum #:alias (Nonpositive-Float)]
 [Negative-Flonum -NegFlonum #:alias (Negative-Float)]
-[Negative-Flonum-No-Nan -NegFlonumNoNan #:alias (Negative-Float-No-Nan)]
+[Negative-Flonum-Not-Nan -NegFlonumNoNan #:alias (Negative-Float-Not-Nan)]
 [Nonnegative-Flonum -NonNegFlonum #:alias (Nonnegative-Float)]
 [Positive-Flonum -PosFlonum #:alias (Positive-Float)]
-[Positive-Flonum-No-Nan -PosFlonumNoNan #:alias (Positive-Float-No-Nan)]
+[Positive-Flonum-Not-Nan -PosFlonumNoNan #:alias (Positive-Float-Not-Nan)]
 [Flonum-Nan -FlonumNan #:alias (Float-Nan)]
 [Flonum-Zero -FlonumZero #:alias (Float-Zero)]
 [Flonum-Negative-Zero -FlonumNegZero #:alias (Float-Negative-Zero)]
@@ -102,10 +102,10 @@
 [ExtFlonum -ExtFlonum #:alias (ExtFloat)]
 [Nonpositive-ExtFlonum -NonPosExtFlonum #:alias (Nonpositive-ExtFloat)]
 [Negative-ExtFlonum -NegExtFlonum #:alias (Negative-ExtFloat)]
-[Negative-ExtFlonum-No-Nan -NegExtFlonumNoNan #:alias (Negative-ExtFloat-No-Nan)]
+[Negative-ExtFlonum-Not-Nan -NegExtFlonumNoNan #:alias (Negative-ExtFloat-Not-Nan)]
 [Nonnegative-ExtFlonum -NonNegExtFlonum #:alias (Nonnegative-ExtFloat)]
 [Positive-ExtFlonum -PosExtFlonum #:alias (Positive-ExtFloat)]
-[Positive-ExtFlonum-No-Nan -PosExtFlonumNoNan #:alias (Positive-ExtFloat-No-Nan)]
+[Positive-ExtFlonum-Not-Nan -PosExtFlonumNoNan #:alias (Positive-ExtFloat-Not-Nan)]
 [ExtFlonum-Nan -ExtFlonumNan #:alias (ExtFloat-Nan)]
 [ExtFlonum-Zero -ExtFlonumZero #:alias (ExtFloat-Zero)]
 [ExtFlonum-Negative-Zero -ExtFlonumNegZero #:alias (ExtFloat-Negative-Zero)]

typed-racket-lib/typed-racket/rep/base-types.rkt

@@ -220,11 +220,11 @@
    #'(λ (x) (eqv? x -0.0t0))
    (λ (x) (eqv? x -0.0t0))]
   [-NegExtFlonumNoNan
-   Negative-ExtFlonum-No-Nan
+   Negative-ExtFlonum-Not-Nan
    #'(and/c extflonum? (λ (x) (extfl<= x 0.0t0)))
    (λ (x) (and (extflonum? x) (extfl<= x 0.0t0)))]
   [-PosExtFlonumNoNan
-   Positive-ExtFlonum-No-Nan
+   Positive-ExtFlonum-Not-Nan
    #'(and/c extflonum? (λ (x) (extfl>= x 0.0t0)))
    (λ (x) (and (extflonum? x) (extfl>= x 0.0t0)))]
   [-Dead-Code Dead-Code #'(make-none/c 'dead-code/c) (λ (v) #f)])

typed-racket-lib/typed-racket/rep/numeric-base-types.rkt

@@ -151,11 +151,11 @@
    #'(λ (x) (eqv? x -0.0))
    (λ (x) (eqv? x -0.0))]
   [-PosFlonumNoNan
-   Positive-Float-No-Nan
+   Positive-Float-Not-Nan
    #'(and/c flonum? positive?)
    (λ (x) (and (flonum? x) (positive? x)))]
   [-NegFlonumNoNan
-   Negative-Float-No-Nan
+   Negative-Float-Not-Nan
    #'(and/c flonum? negative?)
    (λ (x) (and (flonum? x) (negative? x)))]
   [-SingleFlonumNan
@@ -172,11 +172,11 @@
    #'(λ (x) (and (single-flonum? x) (eqv? x (real->single-flonum -0.0f0))))
    (λ (x) (and (single-flonum? x) (eqv? x (real->single-flonum -0.0f0))))]
   [-PosSingleFlonumNoNan
-   Positive-Single-Flonum-No-Nan
+   Positive-Single-Flonum-Not-Nan
    #'(and/c single-flonum? positive?)
    (λ (x) (and (single-flonum? x) (positive? x)))]
   [-NegSingleFlonumNoNan
-   Negative-Single-Flonum-No-Nan
+   Negative-Single-Flonum-Not-Nan
    #'(and/c single-flonum? negative?)
    (λ (x) (and (single-flonum? x) (negative? x)))]
   [-ExactImaginary