From 48f59270935af8c4cd8c80aee549cc512bf13444 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 8 Dec 2008 16:54:13 +0000 Subject: [PATCH] Initialize `infer' for env-lang. svn: r12740 original commit: 8c4789a627e812698a92e5f01b5e63e2b02ae966 --- collects/typed-scheme/private/env-lang.ss | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/collects/typed-scheme/private/env-lang.ss b/collects/typed-scheme/private/env-lang.ss index e7285da1..6fb99d02 100644 --- a/collects/typed-scheme/private/env-lang.ss +++ b/collects/typed-scheme/private/env-lang.ss @@ -1,10 +1,12 @@ #lang scheme/base -(require "../utils/utils.ss") +(require (rename-in "../utils/utils.ss" [infer r:infer])) (require (for-syntax (private type-effect-convenience) (env init-envs) scheme/base + (r:infer infer) + (only-in (r:infer infer-dummy) infer-param) (except-in (rep effect-rep type-rep) make-arr) "type-effect-convenience.ss" (only-in "type-effect-convenience.ss" [make-arr* make-arr]) @@ -20,7 +22,8 @@ (begin (require . args) (define-for-syntax e - (make-env [id ty] ...)) + (parameterize ([infer-param infer]) + (make-env [id ty] ...))) (begin-for-syntax (initialize-type-env e)))))] [(mb . rest) @@ -31,5 +34,5 @@ (all-from-out scheme/base) (for-syntax (all-from-out scheme/base - "type-effect-convenience.ss" + "type-effect-convenience.ss" "union.ss"))) \ No newline at end of file