check ... oneOf .... bug fixes
svn: r10847
This commit is contained in:
parent
278c456c1b
commit
5a6a9ed653
|
@ -2938,7 +2938,7 @@
|
||||||
[curr (check-e e env)])
|
[curr (check-e e env)])
|
||||||
(cons (type/env-e curr)
|
(cons (type/env-e curr)
|
||||||
(cons (type/env-t curr) (cdr acc)))))
|
(cons (type/env-t curr) (cdr acc)))))
|
||||||
(list (type/env-e actual-t))
|
(list (type/env-e actual-te))
|
||||||
expt-range)
|
expt-range)
|
||||||
#;(check-e expt-range (type/env-e actual-te))]
|
#;(check-e expt-range (type/env-e actual-te))]
|
||||||
[er-ts (cdr expt-range-te)]
|
[er-ts (cdr expt-range-te)]
|
||||||
|
|
|
@ -3086,7 +3086,7 @@
|
||||||
[r (map translate-expression range)]
|
[r (map translate-expression range)]
|
||||||
[extracted-info (checked-info test)])
|
[extracted-info (checked-info test)])
|
||||||
(make-syntax #f
|
(make-syntax #f
|
||||||
`(javaRuntime:compare-rand ,t ,r ,extracted-info (quote ,(src->list src))
|
`(javaRuntime:compare-rand ,t (list ,@r) ,extracted-info (quote ,(src->list src))
|
||||||
(namespace-variable-value 'current~test~object% #f
|
(namespace-variable-value 'current~test~object% #f
|
||||||
(lambda () #f))
|
(lambda () #f))
|
||||||
)
|
)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user