diff options
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 874db5ae..1f4b8c0f 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -298,8 +298,8 @@ orderPredTran(oldList,sig,skip) == ----- (isDomain *1 ..) for pred in oldList repeat ((pred is [op,pvar,.] and MEMQ(op,'(isDomain ofCategory)) - and pvar=first sig and ^(pvar in rest sig)) or - (^skip and pred is ['isDomain,pvar,.] and pvar="*1")) => + and pvar=first sig and not (pvar in rest sig)) or + (not skip and pred is ['isDomain,pvar,.] and pvar="*1")) => oldList:=delete(pred,oldList) lastPreds:=[pred,:lastPreds] --sayBrightlyNT "lastPreds=" @@ -449,7 +449,7 @@ substVars(pred,patternAlist,patternVarList) == pred := MSUBST(patVar,value,pred) patternAlist := nsubst(patVar,value,patternAlist) domainPredicates := MSUBST(patVar,value,domainPredicates) - if ^MEMQ(value,$FormalMapVariableList) then + if not MEMQ(value,$FormalMapVariableList) then domainPredicates := [["isDomain",patVar,value],:domainPredicates] everything := [pred,patternAlist,domainPredicates] for var in $FormalMapVariableList repeat |