Fixed a bug where predicates would sometimes fail to match 0.0

original commit: 80ece9023aa583428be9292f120ee25f02cd161e

collects/tests/typed-racket/fail/dup-ann.rkt

@@ -1,5 +1,5 @@
 #;
-(exn-pred 4)
+(exn-pred 2)
 #lang typed/racket
 (: bar : (String -> String))
 (: bar : (Number -> Number))

collects/tests/typed-racket/fail/infer-dots.rkt

@@ -1,6 +1,6 @@
 #lang typed-scheme
 
-(require typed-scheme/base-env/extra-procs)
+(require typed-racket/base-env/extra-procs)
 
 (map + (list 1 2 3) (list 10 20 30) (list 'a 'b 'c))
 

collects/tests/typed-racket/fail/values-dots.rkt

@@ -2,7 +2,7 @@
 (exn-pred 10)
 #lang typed-scheme
 
-(require typed-scheme/base-env/extra-procs)
+(require typed-racket/base-env/extra-procs)
 
 (: map-with-funcs (All (b ...) ((b ... b -> b) ... b -> (b ... b -> (values b ... b)))))
 (define (map-with-funcs . fs)

collects/tests/typed-racket/nightly-run.rkt

@@ -0,0 +1,6 @@
+#lang racket/base
+
+(require racket/runtime-path)
+(define-runtime-path run "run.rkt")
+(parameterize ([current-command-line-arguments '#("--nightly")])
+  (dynamic-require run #f))

collects/tests/typed-racket/optimizer/run.rkt

@@ -1,7 +1,7 @@
 #lang racket
 (require racket/runtime-path
          rackunit rackunit/text-ui
-         typed-scheme/optimizer/logging)
+         typed-racket/optimizer/logging)
 
 (provide optimization-tests missed-optimization-tests
          test-opt test-missed-optimization test-file?