From c070aaecda49a0128a0db7bcab2354423a4b8f1b Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 7 Jun 2013 12:09:30 -0400 Subject: [PATCH] Fix type of gensym. --- collects/tests/typed-racket/unit-tests/typecheck-tests.rkt | 1 + collects/typed-racket/base-env/base-env.rkt | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt index de02cbca4a..7ff1de814c 100644 --- a/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-racket/unit-tests/typecheck-tests.rkt @@ -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) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 51e61fd3f9..89095d1f4a 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -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)]