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

removed bogus inference from matcher's optimizer

Browse Source 
svn: r6034
This commit is contained in:
Robby Findler 2007-04-24 18:22:10 +00:00
parent a1e53c9283
commit c3e07c0a8c
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/mzlib/private/match/match-helper.ss
View File

@ -127,9 +127,6 @@
(eq? (car el) 'struct-pred) (eq? (car el) 'struct-pred)
(member (caaddr e) (caddr el)) (member (caaddr e) (caddr el))
(equal? (cadddr e) (cadddr el))))) l) (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) (and (eq? (car e) 'not)
(let* ((srch (cadr e)) (let* ((srch (cadr e))
(const-class (equal-test? srch))) (const-class (equal-test? srch)))