From bb116e476a7f27466fa26ac8ea8aac18f2e6c51d Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Wed, 17 Sep 2014 11:48:01 -0500 Subject: [PATCH] redex: fix recursive calls to use premises clauses --- pkgs/redex-pkgs/redex-lib/redex/private/search.rkt | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/pkgs/redex-pkgs/redex-lib/redex/private/search.rkt b/pkgs/redex-pkgs/redex-lib/redex/private/search.rkt index b257e72f48..f0cdc5a08d 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/private/search.rkt +++ b/pkgs/redex-pkgs/redex-lib/redex/private/search.rkt @@ -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)