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

Remove unused code.

Browse Source 
original commit: 698080afc080026642ac04168bec6b08503b66b2
This commit is contained in:
Eric Dobson 2013-05-25 23:10:06 -07:00
parent d96ef32a30
commit 8663df8104
1 changed files with 1 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -40,7 +40,7 @@
(require (prefix-in b: (base-env base-env))
(prefix-in n: (base-env base-env-numeric)))
(provide typecheck-tests g)
(provide typecheck-tests)
(b:init) (n:init) (initialize-structs) (initialize-indexing) (initialize-type-names)
@ -50,8 +50,6 @@
(define -Pos -PosInt)
(define R -Real)
(define (g) (run typecheck-tests))
(define-namespace-anchor anch)
(define (-path t var [p null])
@ -117,16 +115,6 @@
(syntax-parse stx
[(_ e t) (syntax/loc stx (tc-e e #:ret (ret t (-FS -top -bot))))]))
;; duplication of the mzscheme toplevel expander, necessary for expanding the rhs of defines
;; note that this ability is never used
(define-for-syntax (local-expand/top-level form)
(let ([form* (local-expand form 'module (kernel-form-identifier-list #'here))])
(kernel-syntax-case form* #f
[(define-syntaxes . _) (raise-syntax-error "don't use syntax defs here!" form)]
[(define-values vals body)
(quasisyntax/loc form (define-values vals #,(local-expand #'body 'expression '())))]
[e (local-expand #'e 'expression '())])))
;; check that typechecking this expression fails
(define-syntax (tc-err stx)
(syntax-parse stx