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

Fix test for new `do:' behavior.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-27 10:05:56 -04:00
parent d4a8c52c71
commit 63dbde1e9e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -62,6 +62,7 @@
[(_ e) [(_ e)
#`(parameterize ([delay-errors? #f] #`(parameterize ([delay-errors? #f]
[current-namespace (namespace-anchor->namespace anch)] [current-namespace (namespace-anchor->namespace anch)]
[custom-printer #f]
[orig-module-stx (quote-syntax e)]) [orig-module-stx (quote-syntax e)])
(let ([ex (expand 'e)]) (let ([ex (expand 'e)])
(find-mutated-vars ex) (find-mutated-vars ex)
@ -72,6 +73,7 @@
[(_ e) [(_ e)
#`(parameterize ([delay-errors? #f] #`(parameterize ([delay-errors? #f]
[current-namespace (namespace-anchor->namespace anch)] [current-namespace (namespace-anchor->namespace anch)]
[custom-printer #f]
[orig-module-stx (quote-syntax e)]) [orig-module-stx (quote-syntax e)])
(let ([ex (expand 'e)]) (let ([ex (expand 'e)])
(find-mutated-vars ex) (find-mutated-vars ex)
@ -611,7 +613,7 @@
(do: : Number ((x : (Listof Number) x (cdr x)) (do: : Number ((x : (Listof Number) x (cdr x))
(sum : Number 0 (+ sum (car x)))) (sum : Number 0 (+ sum (car x))))
((null? x) sum))) ((null? x) sum)))
N] #:ret (ret N (-FS -top -top) (make-NoObject))]
[tc-e/t (if #f 1 'foo) (-val 'foo)] [tc-e/t (if #f 1 'foo) (-val 'foo)]