suzanne.soy/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
This commit is contained in:
Eric Dobson 2011-06-15 18:08:56 -04:00 committed by Sam Tobin-Hochstadt
parent 3a13cf0e78
commit b326269133
2 changed files with 19 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
collects/tests/typed-scheme/succeed/symbols.rkt
View File

@ -1,24 +0,0 @@
#lang typed/racket
(: foo Symbol)
(: bar Symbol)
(define foo 'foo)
(define bar 'bar)
(symbol? foo)
(symbol? 2)
(symbol-interned? foo)
(symbol-interned? (string->unreadable-symbol "bar"))
(symbol-interned? (string->uninterned-symbol "bar"))
(symbol-interned? (gensym foo))
(symbol-unreadable? (gensym))
(symbol-unreadable? foo)
(symbol-unreadable? (string->unreadable-symbol "bar"))
(symbol-unreadable? (string->uninterned-symbol "bar"))
(symbol->string foo)
(string->symbol (symbol->string foo))

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