From f288f984163377006863d8634ded7e9866aa2434 Mon Sep 17 00:00:00 2001 From: Stevie Strickland Date: Fri, 27 Mar 2009 13:47:12 +0000 Subject: [PATCH] Sam and I did some work to allow automatic inferred linking in (define-values/)invoke-unit/infer. svn: r14315 original commit: 99aac7d7455c3ce9189d038f781558b6bd696424 --- collects/typed-scheme/infer/infer.ss | 7 ++++--- collects/typed-scheme/typecheck/typechecker.ss | 8 +++++--- 2 files changed, 9 insertions(+), 6 deletions(-) diff --git a/collects/typed-scheme/infer/infer.ss b/collects/typed-scheme/infer/infer.ss index b8c37883..c660783e 100644 --- a/collects/typed-scheme/infer/infer.ss +++ b/collects/typed-scheme/infer/infer.ss @@ -3,10 +3,11 @@ (require (except-in "../utils/utils.ss" infer)) (require "infer-unit.ss" "constraints.ss" "dmap.ss" "signatures.ss" "restrict.ss" "promote-demote.ss" - (only-in scheme/unit provide-signature-elements) + (only-in scheme/unit provide-signature-elements + define-values/invoke-unit/infer link) (utils unit-utils)) (provide-signature-elements restrict^ infer^) -(define-values/link-units/infer - infer@ constraints@ dmap@ restrict@ promote-demote@) +(define-values/invoke-unit/infer + (link infer@ constraints@ dmap@ restrict@ promote-demote@)) diff --git a/collects/typed-scheme/typecheck/typechecker.ss b/collects/typed-scheme/typecheck/typechecker.ss index ed935ff9..f398b18c 100644 --- a/collects/typed-scheme/typecheck/typechecker.ss +++ b/collects/typed-scheme/typecheck/typechecker.ss @@ -3,7 +3,9 @@ (require "../utils/utils.ss") (require (utils unit-utils) mzlib/trace - (only-in scheme/unit provide-signature-elements) + (only-in scheme/unit + provide-signature-elements + define-values/invoke-unit/infer link) "signatures.ss" "tc-toplevel.ss" "tc-if-unit.ss" "tc-lambda-unit.ss" "tc-app-unit.ss" "tc-let-unit.ss" "tc-dots-unit.ss" @@ -11,5 +13,5 @@ (provide-signature-elements typechecker^ tc-expr^) -(define-values/link-units/infer - tc-toplevel@ tc-if@ tc-lambda@ tc-dots@ tc-app@ tc-let@ tc-expr@ check-subforms@) +(define-values/invoke-unit/infer + (link tc-toplevel@ tc-if@ tc-lambda@ tc-dots@ tc-app@ tc-let@ tc-expr@ check-subforms@))