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

Optimize filter operations.

Browse Source 
original commit: bce90e2a712dccdf0c7283abaa5be49f65d96b59
This commit is contained in:
Vincent St-Amour 2011-04-18 13:25:28 -04:00
parent e81eb675ac
commit 58a8754f50
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/typed-scheme/types/filter-ops.rkt
View File

@ -129,7 +129,9 @@
(cond [(for/or ([f (in-list (append (cdr fs) result))])
(opposite? f t))
-top]
[(for/or ([f (in-list result)]) (or (filter-equal? f t) (implied-atomic? f t)))
[(let ([t-seq (Rep-seq t)])
(for/or ([f (in-list result)])
(or (= (Rep-seq f) t-seq) (implied-atomic? f t))))
(loop (cdr fs) result)]
[else
(loop (cdr fs) (cons t result))])]))))
@ -139,7 +141,7 @@
(case-lambda [() -top]
[(f) f]
[fs (make-AndFilter fs)]))
(let loop ([fs (remove-duplicates args filter-equal?)] [result null])
(let loop ([fs (remove-duplicates args equal? #:key Rep-seq)] [result null])
(if (null? fs)
(match result
[(list) -top]
@ -158,7 +160,9 @@
[t (cond [(for/or ([f (in-list (append (cdr fs) result))])
(opposite? f t))
-bot]
[(for/or ([f (in-list result)]) (or (filter-equal? f t) (implied-atomic? t f)))
[(let ([t-seq (Rep-seq t)])
(for/or ([f (in-list result)])
(or (= (Rep-seq f) t-seq) (implied-atomic? t f))))
(loop (cdr fs) result)]
[else
(loop (cdr fs) (cons t result))])]))))