Use Nan instead of NaN.

Author: NoahStoryM

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

@@ -258,14 +258,14 @@ ExtFlonum
 ExtFloat
 Positive-ExtFlonum
 Positive-ExtFloat
-Positive-ExtFlonum-No-NaN
-Positive-ExtFloat-No-NaN
+Positive-ExtFlonum-No-Nan
+Positive-ExtFloat-No-Nan
 Nonnegative-ExtFlonum
 Nonnegative-ExtFloat
 Negative-ExtFlonum
 Negative-ExtFloat
-Negative-ExtFlonum-No-NaN
-Negative-ExtFloat-No-NaN
+Negative-ExtFlonum-No-Nan
+Negative-ExtFloat-No-Nan
 Nonpositive-ExtFlonum
 Nonpositive-ExtFloat
 ExtFlonum-Negative-Zero

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

@@ -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-No-Nan -NegFlonumNoNan #:alias (Negative-Float-No-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-No-Nan -PosFlonumNoNan #:alias (Positive-Float-No-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-No-Nan -NegExtFlonumNoNan #:alias (Negative-ExtFloat-No-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-No-Nan -PosExtFlonumNoNan #:alias (Positive-ExtFloat-No-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-No-Nan
    #'(and/c extflonum? (λ (x) (extfl<= x 0.0t0)))
    (λ (x) (and (extflonum? x) (extfl<= x 0.0t0)))]
   [-PosExtFlonumNoNan
-   Positive-ExtFlonum-No-NaN
+   Positive-ExtFlonum-No-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-No-Nan
    #'(and/c flonum? positive?)
    (λ (x) (and (flonum? x) (positive? x)))]
   [-NegFlonumNoNan
-   Negative-Float-No-NaN
+   Negative-Float-No-Nan
    #'(and/c flonum? negative?)
    (λ (x) (and (flonum? x) (negative? x)))]
   [-SingleFlonumNan