diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-20 21:49:59 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-20 21:49:59 +0000 |
commit | 1e67a3445ddda759c38b455494350ed00390d73f (patch) | |
tree | 720721577c197b4ff455f25ad767c9a8de5c5d94 /src/interp/database.boot | |
parent | 517b9dd50dcdf3f7881d5f682e8217174d03a211 (diff) | |
download | open-axiom-1e67a3445ddda759c38b455494350ed00390d73f.tar.gz |
more cleanup
Diffstat (limited to 'src/interp/database.boot')
-rw-r--r-- | src/interp/database.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 680d7334..ef523a1f 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -405,7 +405,7 @@ interactiveModemapForm mm == mm := replaceVars(COPY mm,$PatternVariableList,$FormalMapVariableList) [pattern:=[dc,:sig],pred] := mm pred := [fn x for x in pred] where fn x == - x is [a,b,c] and a ~= 'isFreeFunction and atom c => [a,b,[c]] + x is [a,b,c] and a isnt 'isFreeFunction and atom c => [a,b,[c]] x --pp pred [mmpat, patternAlist, partial, patvars] := @@ -683,7 +683,7 @@ getOplistForConstructorForm (form := [op,:argl]) == getOplistWithUniqueSignatures(op,pairlis,signatureAlist) == alist:= nil - for [sig,:[slotNumber,pred,kind]] in signatureAlist | kind ~= 'Subsumed repeat + for [sig,:[slotNumber,pred,kind]] in signatureAlist | kind isnt 'Subsumed repeat alist:= insertAlist(SUBLIS(pairlis,[op,sig]), SUBLIS(pairlis,[pred,[kind,nil,slotNumber]]), alist) |