suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove unused imports and a useless comment

Browse Source
This commit is contained in:
Asumu Takikawa 2014-03-19 01:54:25 -04:00
parent 35af4b7264
commit 6a80de3d5d
1 changed files with 0 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/check-class-unit.rkt
View File

@ -7,15 +7,11 @@
racket/format racket/format
racket/list racket/list
racket/match racket/match
racket/pretty ;; DEBUG ONLY
racket/set racket/set
racket/syntax racket/syntax
syntax/id-table syntax/id-table
syntax/parse syntax/parse
"signatures.rkt" "signatures.rkt"
"tc-metafunctions.rkt"
"tc-funapp.rkt"
"tc-subst.rkt"
(private parse-type syntax-properties type-annotation) (private parse-type syntax-properties type-annotation)
(base-env class-prims) (base-env class-prims)
(env lexical-env tvar-env) (env lexical-env tvar-env)
@ -1449,10 +1445,3 @@
(tc-error/expr (~a "class definition contains ~a ~a " (tc-error/expr (~a "class definition contains ~a ~a "
"that is not in the expected type") "that is not in the expected type")
msg too-many))) msg too-many)))
;; I wish I could write this
#;
(module+ test
(check-equal? (function->method (parse-type #'(Integer -> Integer)))
(parse-type #'(Any Integer -> Integer))))