From eb83f3b3db581a4e722a8041fa3fc23d9cf5bd1f Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 30 May 2013 19:15:44 +0000 Subject: Fix typo. --- src/ChangeLog | 4 ++++ src/interp/define.boot | 7 ++++--- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/src/ChangeLog b/src/ChangeLog index ffc25246..bf9ef414 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2013-05-30 Gabriel Dos Reis + + * interp/define.boot (knowInfo): Fix typo. + 2013-05-30 Gabriel Dos Reis * interp/c-doc.boot (finalizeDocumentation): Take a DB parameter. 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) -- cgit v1.2.3