Remove unnecessary type->contract case

original commit: 9eaf5aaddbd4aaf444305491b0d0bbd3024fdf2f
2013-04-05 16:44:04 -04:00 · 2013-04-05 16:44:04 -04:00 · 5644dbec4b
commit 5644dbec4b
parent 8cb2e46596
1 changed files with 0 additions and 1 deletions
--- a/collects/typed-racket/private/type-contract.rkt
+++ b/collects/typed-racket/private/type-contract.rkt
@ -379,7 +379,6 @@
                                #,(contract-kind->keyword
 				   (current-contract-kind)))])
                   n*))))]
-        [(Value: #f) #'false/c]
        [(Instance: (? Mu? t))
         (t->c (make-Instance (resolve-once t)))]
        [(Instance: (Class: _ _ (list (list name fcn) ...)))