From 5644dbec4bfef9c4602c7d4bbffa123e1c238f65 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 5 Apr 2013 16:44:04 -0400 Subject: [PATCH] Remove unnecessary type->contract case original commit: 9eaf5aaddbd4aaf444305491b0d0bbd3024fdf2f --- collects/typed-racket/private/type-contract.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/collects/typed-racket/private/type-contract.rkt b/collects/typed-racket/private/type-contract.rkt index 2a1d3ff9..8b067b99 100644 --- 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) ...)))