From 5a6a9ed653ab47da05d2576b7e1923e3b7dc3d2d Mon Sep 17 00:00:00 2001 From: Kathy Gray Date: Mon, 21 Jul 2008 15:12:15 +0000 Subject: [PATCH] check ... oneOf .... bug fixes svn: r10847 --- collects/profj/check.ss | 2 +- collects/profj/to-scheme.ss | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/profj/check.ss b/collects/profj/check.ss index 696b6431dd..5987075776 100644 --- a/collects/profj/check.ss +++ b/collects/profj/check.ss @@ -2938,7 +2938,7 @@ [curr (check-e e env)]) (cons (type/env-e curr) (cons (type/env-t curr) (cdr acc))))) - (list (type/env-e actual-t)) + (list (type/env-e actual-te)) expt-range) #;(check-e expt-range (type/env-e actual-te))] [er-ts (cdr expt-range-te)] diff --git a/collects/profj/to-scheme.ss b/collects/profj/to-scheme.ss index 609eb222ba..bf1232c8be 100644 --- a/collects/profj/to-scheme.ss +++ b/collects/profj/to-scheme.ss @@ -3086,7 +3086,7 @@ [r (map translate-expression range)] [extracted-info (checked-info test)]) (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 (lambda () #f)) )