From 6a80de3d5d50c072947a393ed263cd5bd8b791fe Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 19 Mar 2014 01:54:25 -0400 Subject: [PATCH] Remove unused imports and a useless comment --- .../typed-racket/typecheck/check-class-unit.rkt | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt index db3bd346e0..fde4401789 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt @@ -7,15 +7,11 @@ racket/format racket/list racket/match - racket/pretty ;; DEBUG ONLY racket/set racket/syntax syntax/id-table syntax/parse "signatures.rkt" - "tc-metafunctions.rkt" - "tc-funapp.rkt" - "tc-subst.rkt" (private parse-type syntax-properties type-annotation) (base-env class-prims) (env lexical-env tvar-env) @@ -1449,10 +1445,3 @@ (tc-error/expr (~a "class definition contains ~a ~a " "that is not in the expected type") msg too-many))) - -;; I wish I could write this -#; -(module+ test - (check-equal? (function->method (parse-type #'(Integer -> Integer))) - (parse-type #'(Any Integer -> Integer)))) -