suzanne.soy/typed-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

original commit: c4d183fcfc7f405e50a7593485011cbc717be3ef
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-28 22:40:43 +00:00
parent e9bc755fb5
commit 3e692e993e
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->*
(-> (-opt (-Syntax Univ)) Sym (-Syntax Sym))
(-> (-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-original? (-poly (a) (-> (-Syntax a) B))]
[identifier? (make-pred-ty (-Syntax Sym))]