diff options
author | dos-reis <gdr@axiomatics.org> | 2011-11-14 02:56:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-11-14 02:56:26 +0000 |
commit | 5f63d42cf83ebce312a44c5d596e85c6ae879ab0 (patch) | |
tree | bb5c1c4cc55e493d764cc6b4f4f645a4d283f527 | |
parent | 0f0562ca9672568f3f8ca33ec6a17ba64c36c015 (diff) | |
download | open-axiom-5f63d42cf83ebce312a44c5d596e85c6ae879ab0.tar.gz |
* interp/category.boot (SigListMember): Remove as deadcode.
(SigEqual): Remove.
(predicateImplies): Rename from PredImplies. Rework it to match
documentation. Adjust callers.
(CondAncestorP): Adjust arguments in call to predicateImplies.
(JoinInner): Likewise.
-rw-r--r-- | src/ChangeLog | 9 | ||||
-rw-r--r-- | src/interp/category.boot | 33 |
2 files changed, 18 insertions, 24 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 184aee48..89355641 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,14 @@ 2011-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/category.boot (SigListMember): Remove as deadcode. + (SigEqual): Remove. + (predicateImplies): Rename from PredImplies. Rework it to match + documentation. Adjust callers. + (CondAncestorP): Adjust arguments in call to predicateImplies. + (JoinInner): Likewise. + +2011-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + * lisp/core.lisp.in: Export %sysInit. * interp/sys-driver.boot (%sysInit): Don't redefine. Reset function binding. diff --git a/src/interp/category.boot b/src/interp/category.boot index 4d0acc49..043b6d67 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -257,22 +257,11 @@ mkAnd2(a,b,e) == [a,:b] [a,:b] -SigListMember(m,list) == - list=nil => false - SigEqual(m,first list) => true - SigListMember(m,rest list) - -SigEqual([sig1,pred1,:.],[sig2,pred2,:.]) == - -- Notice asymmetry: checks that arg1 is a consequence of arg2 - sig1=sig2 and PredImplies(pred2,pred1) - -PredImplies(a,b) == - --true if a => b in the sense of logical implication ---a = "true" => true - a=true => true - a=b => true - false -- added by RDJ: 12/21/82 ---error() -- for the time being +++ Return true if `a implies b' in the logical sense. +predicateImplies(a,b) == + b is true => true + a is true => false + a = b -- for now. SigListOpSubsume([[name1,sig1,:.],:.],list) == --does m subsume another operator in the list? @@ -352,7 +341,7 @@ CondAncestorP(xname,leaves,condition,env) == null rest u => true second u xname = u' or listMember?(xname,categoryPrincipals CatEval(u',env)) => - PredImplies(ucond,condition) => return u' + predicateImplies(condition,ucond) => return u' ++ Returns true if the form `a' designates a category that is any @@ -427,16 +416,12 @@ JoinInner(l,$e) == if rest anc then (anccond:= second anc; ancindex:= third anc) else (anccond:= true; ancindex:= nil) - if PredImplies(condition,anccond) + if predicateImplies(anccond,condition) then FundamentalAncestors:= - - -- the new 'b' is more often true than the old one 'anc' + -- the new 'b' is more often true than the old one 'anc' [[bname,condition,ancindex],:remove(FundamentalAncestors,anc)] else - if ancindex and (PredImplies(anccond,condition); true) --- I have no idea who effectively commented out the predImplies --- JHD 25/8/86 - then + if ancindex then --the new 'b' is less often true newentry:=[bname,condition,ancindex] if not listMember?(newentry,FundamentalAncestors) then |