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

Moved new TR symbol testing into unit tests.

Browse Source 
original commit: b3262691337e929809d0b4e7e96cd390deb0d501
This commit is contained in:
Eric Dobson 2011-06-15 18:08:56 -04:00 committed by Sam Tobin-Hochstadt
parent 606a9238be
commit cfbdcf9cdb
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -941,6 +941,25 @@
(tc-e (string-locale-ci<? "a" "A") B)
(tc-e (string-locale-ci>? "a" "A") B)
;Symbols
(tc-e (symbol? 'foo) #:ret (ret B (-FS -top -bot)))
(tc-e (symbol? 2) #:ret (ret B (-FS -bot -top)))
(tc-e (symbol-interned? 'foo) B)
(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-unreadable? (gensym)) B)
(tc-e (symbol-unreadable? 'foo) B)
(tc-e (string->unreadable-symbol "bar") -Symbol)
(tc-e (string->uninterned-symbol "bar") -Symbol)
(tc-e (symbol->string 'foo) -String)
(tc-e (string->symbol (symbol->string 'foo)) -Symbol)
)
(test-suite