diff options
Diffstat (limited to 'src/interp/info.boot.pamphlet')
| -rw-r--r-- | src/interp/info.boot.pamphlet | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/src/interp/info.boot.pamphlet b/src/interp/info.boot.pamphlet index ead9f3e1..ba2ef824 100644 --- a/src/interp/info.boot.pamphlet +++ b/src/interp/info.boot.pamphlet @@ -73,6 +73,9 @@ The use of two representations is admitted to be clumsy <<*>>= <<license>> +import '"g-util" +)package "BOOT" + printInfo $e == for u in get("$Information","special",$e) repeat PRETTYPRINT u nil @@ -183,7 +186,7 @@ knownInfo pred == [vv,.,.]:= compMakeCategoryObject(CADR v,$e) null vv => stackSemanticError(["can't make category of ",name],nil) member(attr,vv.2) => true - x:= ASSOC(attr,vv.2) => knownInfo CADR x + x:= assoc(attr,vv.2) => knownInfo CADR x --format is a list of two elements: information, predicate false pred is ["has",name,cat] => @@ -200,7 +203,7 @@ knownInfo pred == --catlist := SUBST(name,'$,vv.4) null vv => stackSemanticError(["can't make category of ",name],nil) member(cat,first catlist) => true --checks princ. ancestors - (u:=ASSOC(cat,CADR catlist)) and knownInfo(CADR u) => true + (u:=assoc(cat,CADR catlist)) and knownInfo(CADR u) => true -- previous line checks fundamental anscestors, we should check their -- principal anscestors but this requires instantiating categories @@ -245,7 +248,7 @@ actOnInfo(u,$e) == --there is nowhere %else that this sort of thing exists u is ["SIGNATURE",name,operator,modemap] => implem:= - (implem:=ASSOC([name,:modemap],get(operator,'modemap,$e))) => + (implem:=assoc([name,:modemap],get(operator,'modemap,$e))) => CADADR implem ['ELT,name,nil] $e:= addModemap(operator,name,modemap,true,implem,$e) @@ -271,7 +274,7 @@ actOnInfo(u,$e) == -- SAY("augmenting ",name,": ",cat) -- put(name, "value", (vval, cat, venv), $e) member(cat,first ocatvec.4) or - ASSOC(cat,CADR ocatvec.4) is [.,'T,.] => $e + assoc(cat,CADR ocatvec.4) is [.,'T,.] => $e --SAY("Category extension error: --cat shouldn't be a join --what was being asserted is an ancestor of what was known |