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

two fixes

Browse Source 
svn: r14629
This commit is contained in:
Sam Tobin-Hochstadt 2009-04-27 20:11:57 +00:00
parent 17602816ad
commit 18f89c73e4
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/typed-scheme/typecheck/tc-expr-unit.ss
View File

@ -129,7 +129,7 @@
[((tc-results: t1) (tc-results: t2)) [((tc-results: t1) (tc-results: t2))
(unless (andmap subtype t1 t2) (unless (andmap subtype t1 t2)
(tc-error/expr "Expected ~a, but got ~a" t2 t1)) (tc-error/expr "Expected ~a, but got ~a" t2 t1))
(ret expected)] expected]
[((tc-result1: t1) (? Type? t2)) [((tc-result1: t1) (? Type? t2))
(unless (subtype t1 t2) (unless (subtype t1 t2)
(tc-error/expr "Expected ~a, but got ~a" t2 t1)) (tc-error/expr "Expected ~a, but got ~a" t2 t1))
@ -139,6 +139,7 @@
(tc-error/expr "Expected ~a, but got ~a" t2 t1)) (tc-error/expr "Expected ~a, but got ~a" t2 t1))
expected])) expected]))
;; tc-expr/check : syntax tc-results -> tc-results
(define (tc-expr/check form expected) (define (tc-expr/check form expected)
(parameterize ([current-orig-stx form]) (parameterize ([current-orig-stx form])
;(printf "form: ~a~n" (syntax-object->datum form)) ;(printf "form: ~a~n" (syntax-object->datum form))
@ -149,8 +150,7 @@
[ret [ret
(lambda args (lambda args
(define te (apply ret args)) (define te (apply ret args))
(check-below te expected) (check-below te expected))])
(ret expected))])
(kernel-syntax-case* form #f (kernel-syntax-case* form #f
(letrec-syntaxes+values find-method/who) ;; letrec-syntaxes+values is not in kernel-syntax-case literals (letrec-syntaxes+values find-method/who) ;; letrec-syntaxes+values is not in kernel-syntax-case literals
[stx [stx