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

remove unneeded export

Browse Source 
original commit: a214f50812546e045ff9ca3c6273a06f89c4bdf9
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-27 20:28:17 -04:00
parent 5883e7e818
commit efa50529d0
3 changed files with 3 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/typecheck/signatures.rkt
View File

@ -37,8 +37,7 @@
(define-signature tc-let^
([cnt tc/let-values ((syntax? syntax? syntax? syntax?) ((or/c #f tc-results?)) . ->* . tc-results?)]
[cnt tc/letrec-values (syntax? syntax? syntax? syntax? . -> . tc-results?)]
[cnt tc/letrec-values/check (syntax? syntax? syntax? syntax? tc-results? . -> . tc-results?)]))
[cnt tc/letrec-values ((syntax? syntax? syntax? syntax?) ((or/c #f tc-results?)) . ->* . tc-results?)]))
(define-signature tc-dots^
([cnt tc/dots (syntax? . -> . (values Type/c symbol?))]))

2
collects/typed-scheme/typecheck/tc-expr-unit.rkt
View File

@ -389,7 +389,7 @@
[(tc-results: ts)
(tc-error/expr #:return (ret (Un)) "Expected ~a values, but got only 1" (length ts))])]
[(letrec-values ([(name ...) expr] ...) . body)
(tc/letrec-values/check #'((name ...) ...) #'(expr ...) #'body form expected)]
(tc/letrec-values #'((name ...) ...) #'(expr ...) #'body form expected)]
;; other
[_ (tc-error/expr #:return (ret expected) "cannot typecheck unknown form : ~a~n" (syntax->datum form))]
))))

8
collects/typed-scheme/typecheck/tc-let-unit.rkt
View File

@ -83,12 +83,6 @@
expected)
(run (tc-exprs (syntax->list body)))))))
(define (tc/letrec-values/check namess exprs body form expected)
(tc/letrec-values/internal namess exprs body form expected))
(define (tc/letrec-values namess exprs body form)
(tc/letrec-values/internal namess exprs body form #f))
(define (tc-expr/maybe-expected/t e name)
(define expecteds
(map (lambda (stx) (lookup-type stx (lambda () #f))) name))
@ -102,7 +96,7 @@
(tc-expr e)))
tcr)
(define (tc/letrec-values/internal namess exprs body form expected)
(define (tc/letrec-values namess exprs body form [expected #f])
(let* ([names (map syntax->list (syntax->list namess))]
[orig-flat-names (apply append names)]
[exprs (syntax->list exprs)]