diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-02 10:53:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 10:53:56 +0000 |
commit | e694e02b3c8e9ae322df7440a29c3011a11503e7 (patch) | |
tree | 5dbeebcf26c3be930421b77d688384f0e19f8f5b /src/interp/database.boot | |
parent | 6835b7615420cbb3d0db15c2a5ab1c5785ff40dd (diff) | |
download | open-axiom-e694e02b3c8e9ae322df7440a29c3011a11503e7.tar.gz |
More cleanups
Diffstat (limited to 'src/interp/database.boot')
-rw-r--r-- | src/interp/database.boot | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 7ce512c8..f62d2f59 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -444,21 +444,21 @@ modemapPattern(mmPattern,sig) == substVars(pred,patternAlist,patternVarList) == --make pattern variable substitutions - domainPredicates := nil + domPreds := nil for [[patVar,:value],:.] in tails patternAlist repeat pred := MSUBST(patVar,value,pred) patternAlist := nsubst(patVar,value,patternAlist) - domainPredicates := MSUBST(patVar,value,domainPredicates) + domPreds := MSUBST(patVar,value,domPreds) if not symbolMember?(value,$FormalMapVariableList) then - domainPredicates := [["isDomain",patVar,value],:domainPredicates] - everything := [pred,patternAlist,domainPredicates] + domPreds := [["isDomain",patVar,value],:domPreds] + everything := [pred,patternAlist,domPreds] for var in $FormalMapVariableList repeat CONTAINED(var,everything) => replacementVar := first patternVarList patternVarList := rest patternVarList pred := substitute(replacementVar,var,pred) - domainPredicates := substitute(replacementVar,var,domainPredicates) - [pred, domainPredicates] + domPreds := substitute(replacementVar,var,domPreds) + [pred, domPreds] fixUpPredicate(predClause, domainPreds, partial, sig) == -- merge the predicates in predClause and domainPreds into a |