diff --git a/collects/typed-scheme/private/base-env.ss b/collects/typed-scheme/private/base-env.ss index 3a73645b..c5742d5e 100644 --- a/collects/typed-scheme/private/base-env.ss +++ b/collects/typed-scheme/private/base-env.ss @@ -412,12 +412,12 @@ string-constants/string-constant] ;; make-promise - [(cadr (syntax->list (expand #'(delay 3)))) + [(cadr (syntax->list (expand '(delay 3)))) (-poly (a) (-> (-> a) (-Promise a))) scheme/promise] ;; qq-append - [(cadr (syntax->list (expand #'`(,@'() 1)))) + [(cadr (syntax->list (expand '`(,@'() 1)))) (-poly (a b) (cl->* (-> (-lst a) (-val '()) (-lst a)) diff --git a/collects/typed-scheme/private/type-effect-convenience.ss b/collects/typed-scheme/private/type-effect-convenience.ss index 1746342b..9b7e4b97 100644 --- a/collects/typed-scheme/private/type-effect-convenience.ss +++ b/collects/typed-scheme/private/type-effect-convenience.ss @@ -204,6 +204,7 @@ ns) ns)]) (parameterize ([current-namespace new-ns]) + (namespace-require 'scheme/base) (namespace-require 'extra-mods) ... e)) ty)]))