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

Less polymorphic type for `syntax->datum'.

Browse Source 
svn: r12163
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-28 22:40:43 +00:00
parent b7df781999
commit c4d183fcfc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -466,7 +466,7 @@
[datum->syntax (cl->* [datum->syntax (cl->*
(-> (-opt (-Syntax Univ)) Sym (-Syntax Sym)) (-> (-opt (-Syntax Univ)) Sym (-Syntax Sym))
(-> (-opt (-Syntax Univ)) Univ (-Syntax Univ)))] (-> (-opt (-Syntax Univ)) Univ (-Syntax Univ)))]
[syntax->datum (-poly (a) (-> (-Syntax a) Univ))] [syntax->datum (-> (-Syntax Univ) Univ)]
[syntax-e (-poly (a) (-> (-Syntax a) a))] [syntax-e (-poly (a) (-> (-Syntax a) a))]
[syntax-original? (-poly (a) (-> (-Syntax a) B))] [syntax-original? (-poly (a) (-> (-Syntax a) B))]
[identifier? (make-pred-ty (-Syntax Sym))] [identifier? (make-pred-ty (-Syntax Sym))]