From c15871a0284fcf2a6a8c78fafde4fdd9a9551bca Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 9 Sep 2010 15:28:47 -0400 Subject: [PATCH] Add additional require for identifiers in the residual program. --- collects/typed-scheme/typed-scheme.rkt | 5 ++++- collects/typed-scheme/types/type-table.rkt | 9 ++++++--- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/collects/typed-scheme/typed-scheme.rkt b/collects/typed-scheme/typed-scheme.rkt index 2f7a915456..9dc546c1ec 100644 --- a/collects/typed-scheme/typed-scheme.rkt +++ b/collects/typed-scheme/typed-scheme.rkt @@ -1,6 +1,9 @@ #lang racket/base -(require (for-syntax racket/base "typecheck/renamer.rkt") +(require (for-syntax racket/base + ;; these requires are needed since their code + ;; appears in the residual program + "typecheck/renamer.rkt" "types/type-table.rkt") "private/base-special-env.rkt") (begin-for-syntax ) diff --git a/collects/typed-scheme/types/type-table.rkt b/collects/typed-scheme/types/type-table.rkt index f07efd595c..2e1c78961c 100644 --- a/collects/typed-scheme/types/type-table.rkt +++ b/collects/typed-scheme/types/type-table.rkt @@ -1,8 +1,11 @@ #lang racket/base -(require unstable/debug racket/contract "../utils/utils.rkt" syntax/id-table racket/dict racket/match - (rep type-rep object-rep) (only-in (types abbrev utils) tc-results?) (utils tc-utils) - (env init-envs) mzlib/pconvert) +(require racket/contract syntax/id-table racket/dict racket/match mzlib/pconvert + "../utils/utils.rkt" + (rep type-rep object-rep) + (only-in (types utils) tc-results?) + (utils tc-utils) + (env init-envs)) (define table (make-hasheq))