diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-22 15:51:57 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-22 15:51:57 +0000 |
commit | 32efd3b0691918cf1d662b095c653d5a0a17ff7b (patch) | |
tree | b340c1d23d752542fe88fd80ae6d559198c0b263 /src/interp/pf2sex.boot | |
parent | b0046ba3929c513a399fd1ebb84dee1712c55a02 (diff) | |
download | open-axiom-32efd3b0691918cf1d662b095c653d5a0a17ff7b.tar.gz |
more cleanup
Diffstat (limited to 'src/interp/pf2sex.boot')
-rw-r--r-- | src/interp/pf2sex.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/pf2sex.boot b/src/interp/pf2sex.boot index 12cb1215..b531026b 100644 --- a/src/interp/pf2sex.boot +++ b/src/interp/pf2sex.boot @@ -439,13 +439,13 @@ ruleLhsTran ruleLhs == [name, predLhs, :predRhs] := pred vars := patternVarsOf predRhs rest vars => -- if there is more than one patternVariable - ruleLhs := NSUBST(predLhs, name, ruleLhs) + ruleLhs := substitute!(predLhs, name, ruleLhs) $multiVarPredicateList := [pred, :$multiVarPredicateList] predicate := [., var] := predLhs ["suchThat", predLhs, ["ADEF", [var], '((Boolean) (Expression (Integer))), '(() ()), predRhs]] - ruleLhs := NSUBST(predicate, name, ruleLhs) + ruleLhs := substitute!(predicate, name, ruleLhs) ruleLhs rulePredicateTran rule == @@ -465,7 +465,7 @@ rulePredicateTran rule == pvarPredTran(rhs, varList) == for var in varList for i in 1.. repeat - rhs := NSUBST(['elt, 'predicateVariable, i], var, rhs) + rhs := substitute!(['elt, 'predicateVariable, i], var, rhs) rhs patternVarsOf expr == |