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

redex: memoize only the non-terminal patterns

Browse Source 
remarkably, this seems to cut the time for running
the r6rs test suite in about 1/2
This commit is contained in:
Robby Findler 2011-12-29 11:01:21 -06:00
parent 57f51cf5c8
commit 4c86e2fe86
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/redex/private/matcher.rkt
View File

@ -686,7 +686,10 @@ See match-a-pattern.rkt for more details
[(eq? compiled-cache uniq) [(eq? compiled-cache uniq)
(let-values ([(compiled-pattern has-hole?) (let-values ([(compiled-pattern has-hole?)
(true-compile-pattern pattern)]) (true-compile-pattern pattern)])
(let ([val (list (memoize compiled-pattern has-hole?) (let ([val (list (match pattern
[`(nt ,p)
(memoize compiled-pattern has-hole?)]
[_ compiled-pattern])
has-hole?)]) has-hole?)])
(hash-set! compiled-pattern-cache pattern val) (hash-set! compiled-pattern-cache pattern val)
(apply values val)))] (apply values val)))]