From 26cd219f610b5f23f254e414cfaefa4e5fe19130 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 3 Mar 2006 17:38:01 +0000 Subject: [PATCH] test inling of a few more predicates svn: r2359 --- collects/tests/mzscheme/optimize.ss | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/collects/tests/mzscheme/optimize.ss b/collects/tests/mzscheme/optimize.ss index ef984726ba..d1c99961da 100644 --- a/collects/tests/mzscheme/optimize.ss +++ b/collects/tests/mzscheme/optimize.ss @@ -10,6 +10,9 @@ (let* ([check-error-message (lambda (name proc) (unless (memq name '(eq? not null? pair? real? number? boolean? + procedure? symbol? + string? bytes? + vector? eof-object?)) (let ([s (with-handlers ([exn? exn-message]) (proc 'bad))] @@ -71,6 +74,17 @@ (un #t 'boolean? #f) (un #f 'eof-object? #f) (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)