diff options
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 == |