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

Fix type of gensym.

Browse Source 
original commit: c070aaecda49a0128a0db7bcab2354423a4b8f1b
This commit is contained in:
Vincent St-Amour 2013-06-07 12:09:30 -04:00
parent 88c2fecdf7
commit 9690eda145
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -1078,6 +1078,7 @@
(tc-e (symbol-interned? (string->unreadable-symbol "bar")) B)
(tc-e (symbol-interned? (string->uninterned-symbol "bar")) B)
(tc-e (symbol-interned? (gensym 'foo)) B)
(tc-e (symbol-interned? (gensym "foo")) B)
(tc-e (symbol-unreadable? (gensym)) B)
(tc-e (symbol-unreadable? 'foo) B)

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

@ -389,7 +389,7 @@
[string->symbol (-String . -> . Sym)]
[string->uninterned-symbol (-String . -> . Sym)]
[string->unreadable-symbol (-String . -> . Sym)]
[gensym (->opt [Sym] Sym)]
[gensym (->opt [(Un Sym -String)] Sym)]