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

add expand and expand-once

Browse Source 
svn: r10133

original commit: 6ec49385a3309e105d7fdf2c4fec61650ac8dc3e
This commit is contained in:
Sam Tobin-Hochstadt 2008-06-04 20:16:51 +00:00
parent 6391dfbda9
commit c0936b3db6
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/private/base-env.ss
View File

@ -480,6 +480,9 @@
;; syntax operations
[expand (-> (-Syntax Univ) (-Syntax Univ))]
[expand-once (-> (-Syntax Univ) (-Syntax Univ))]
[syntax-source (-poly (a) (-> (-Syntax a) Univ))]
[syntax-position (-poly (a) (-> (-Syntax a) (-opt N)))]
[datum->syntax (cl->*