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

redex: fix recursive calls to use premises clauses

Browse Source
This commit is contained in:
Burke Fetscher 2014-09-17 11:48:01 -05:00
parent 089e6387de
commit bb116e476a
1 changed files with 7 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/redex-pkgs/redex-lib/redex/private/search.rkt
View File

@ -72,11 +72,12 @@
(fresh-pat-vars input (make-hash))
(set! name-nums (unique-name-nums)))))
(define fs (list (fail-cont empty-env
(list (make-partial-rule fresh-pat
(if (shuffle-clauses?)
(shuffle/favor-recursive-clauses clauses)
(order-clauses clauses))
'() bound))
(list (make-partial-rule
fresh-pat
(if (shuffle-clauses?)
(shuffle/favor-recursive-clauses clauses)
(order-clauses clauses))
'() bound))
bound)))
(define v-locs (make-hash))
(λ ()
@ -160,7 +161,7 @@
(make-partial-rule (prem-pat prem)
(if (positive? bound)
(if (shuffle-clauses?)
(shuffle/favor-recursive-clauses clauses)
(shuffle/favor-recursive-clauses prem-cls)
(order-clauses prem-cls))
(order-clauses prem-cls))
(cons n tr-loc)