From c3e07c0a8c9a0a286360a97dd2ab7de73e77c86b Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 24 Apr 2007 18:22:10 +0000 Subject: [PATCH] removed bogus inference from matcher's optimizer svn: r6034 --- collects/mzlib/private/match/match-helper.ss | 3 --- 1 file changed, 3 deletions(-) diff --git a/collects/mzlib/private/match/match-helper.ss b/collects/mzlib/private/match/match-helper.ss index 1ec286ed98..2503d18093 100644 --- a/collects/mzlib/private/match/match-helper.ss +++ b/collects/mzlib/private/match/match-helper.ss @@ -127,9 +127,6 @@ (eq? (car el) 'struct-pred) (member (caaddr e) (caddr el)) (equal? (cadddr e) (cadddr el))))) l) - (and (eq? (car e) 'list?) - (or (member `(null? ,(cadr e)) l) - (member `(pair? ,(cadr e)) l))) (and (eq? (car e) 'not) (let* ((srch (cadr e)) (const-class (equal-test? srch)))