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

generalized `begin-for-syntax'

Browse Source 
original commit: d3c56c9f13327d07513f8b6bf7ea0230acb7f489
This commit is contained in:
Matthew Flatt 2011-09-05 16:08:16 -06:00
parent 48766fe47f
commit 386f74eb98
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/base-env/base-env.rkt
View File

@ -1293,7 +1293,7 @@
[syntax-local-make-delta-introducer (-> (-Syntax Sym) (-> (-Syntax Sym) (-Syntax Sym)))]
[syntax-local-transforming-module-provides? (-> B)]
[syntax-local-module-defined-identifiers (-> (-values (list (-Syntax Sym) (-Syntax Sym))))]
[syntax-local-module-defined-identifiers (-> (-HT (Un B -Int) (-lst (-Syntax Sym))))]
[syntax-local-module-required-identifiers (-> (-opt -Module-Path) (Un B -Int) (-lst (-pair (-opt -Int) (-lst (-Syntax Sym)))))]
;Section 11.5

2
collects/typed-racket/typecheck/tc-toplevel.rkt
View File

@ -187,7 +187,7 @@
[(#%require . _) (void)]
[(#%provide . _) (void)]
[(define-syntaxes . _) (void)]
[(define-values-for-syntax . _) (void)]
[(begin-for-syntax . _) (void)]
;; FIXME - we no longer need these special cases
;; these forms are handled in pass1