suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add additional require for identifiers in the residual program.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-09-09 15:28:47 -04:00
parent 00a8a85f9d
commit c15871a028
2 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/typed-scheme/typed-scheme.rkt
View File

@ -1,6 +1,9 @@
#lang racket/base #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") "private/base-special-env.rkt")
(begin-for-syntax ) (begin-for-syntax )

9
collects/typed-scheme/types/type-table.rkt
View File

@ -1,8 +1,11 @@
#lang racket/base #lang racket/base
(require unstable/debug racket/contract "../utils/utils.rkt" syntax/id-table racket/dict racket/match (require racket/contract syntax/id-table racket/dict racket/match mzlib/pconvert
(rep type-rep object-rep) (only-in (types abbrev utils) tc-results?) (utils tc-utils) "../utils/utils.rkt"
(env init-envs) mzlib/pconvert) (rep type-rep object-rep)
(only-in (types utils) tc-results?)
(utils tc-utils)
(env init-envs))
(define table (make-hasheq)) (define table (make-hasheq))