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

test inling of a few more predicates

Browse Source 
svn: r2359
This commit is contained in:
Matthew Flatt 2006-03-03 17:38:01 +00:00
parent c88dc9c26b
commit 26cd219f61
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
collects/tests/mzscheme/optimize.ss
View File

@ -10,6 +10,9 @@
(let* ([check-error-message (lambda (name proc) (let* ([check-error-message (lambda (name proc)
(unless (memq name '(eq? not null? pair? (unless (memq name '(eq? not null? pair?
real? number? boolean? real? number? boolean?
procedure? symbol?
string? bytes?
vector?
eof-object?)) eof-object?))
(let ([s (with-handlers ([exn? exn-message]) (let ([s (with-handlers ([exn? exn-message])
(proc 'bad))] (proc 'bad))]
@ -71,6 +74,17 @@
(un #t 'boolean? #f) (un #t 'boolean? #f)
(un #f 'eof-object? #f) (un #f 'eof-object? #f)
(un #t 'eof-object? eof) (un #t 'eof-object? eof)
(un #f 'procedure? #f)
(un #t 'procedure? procedure?)
(un #t 'procedure? (lambda (x) 10))
(un #t 'symbol? 'ok)
(un #f 'symbol? #f)
(un #t 'vector? (vector 1 2 3))
(un #f 'vector? #f)
(un #t 'string? "apple")
(un #f 'string? #"apple")
(un #f 'bytes? "apple")
(un #t 'bytes? #"apple")
(bin #f 'eq? 0 10) (bin #f 'eq? 0 10)