diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-30 19:15:44 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-30 19:15:44 +0000 |
| commit | eb83f3b3db581a4e722a8041fa3fc23d9cf5bd1f (patch) | |
| tree | 44bf9150da187e57a3838896f447b934afb0cd7a /src/interp | |
| parent | 2bc4e76b440ada98326241b3b01147fc121eb99f (diff) | |
| download | open-axiom-eb83f3b3db581a4e722a8041fa3fc23d9cf5bd1f.tar.gz | |
Fix typo.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/define.boot | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 829faec9..585c5461 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -184,19 +184,20 @@ hasToInfo (pred is ["has",a,b]) == ++ may or may not hold at runtime. knownInfo(pred,env,tbl == makeTable function valueEq?) == pred=true => true - listMember?(pred,get("$Information","special",env)) => true + tableValue(tbl,pred) => true -- re-use previously computed value + listMember?(pred,get("$Information","special",env)) => + tableValue(tbl,pred) := true pred is ["OR",:l] => or/[knownInfo(u,env,tbl) for u in l] pred is ["AND",:l] => and/[knownInfo(u,env,tbl) for u in l] pred is ["or",:l] => or/[knownInfo(u,env,tbl) for u in l] pred is ["and",:l] => and/[knownInfo(u,env,tbl) for u in l] - tableValue(tbl,pred) => true -- re-use previously computed value pred is ["ATTRIBUTE",name,attr] => v := compForMode(name,$EmptyMode,env) or return stackAndThrow('"can't find category of %1pb",[name]) [vv,.,.] := compMakeCategoryObject(v.mode,env) or return stackAndThrow('"can't make category of %1pb",[name]) listMember?(attr,categoryAttributes vv) => - tableTable(tbl,pred) := true + tableValue(tbl,pred) := true x := assoc(attr,categoryAttributes vv) => --format is a list of two elements: information, predicate tableValue(tbl,pred) := knownInfo(second x,env,tbl) |