diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-11-05 01:51:35 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-11-05 01:51:35 +0000 |
| commit | 259d1b019dabdf6a0c2b40cabaf013afcbc582ac (patch) | |
| tree | c368f6f5fbb7709667a28af3b352bad5ce603c97 /src/interp/info.boot.pamphlet | |
| parent | d3ec46dd9a15a12b6456c70b9e92ab0a780adacf (diff) | |
| download | open-axiom-259d1b019dabdf6a0c2b40cabaf013afcbc582ac.tar.gz | |
* Makefile.pamphlet (iterator.$(FASLEXT)): New rule.
(modemap.$(FASLEXT)): Likewise.
(info.$(FASLEXT)): Likewise.
(msgdb.$(FASLEXT)): Likewise.
(<<info.clisp>>): Remove.
(<<iterator.clisp>>): Likewise.
(<<modemap.clisp>>): Likewise.
(<<msgdb.clisp>>): Likewise.
* c-util.boot (intersectionContour): Change setIntersection to
intersection. Change SetUnion to union.
* database.boot (insertModemap): Move to modemap.boot.pamphlet.
* i-util.boot.pamphlet (addModemap): Likewise.
* info.boot.pamphlet: Push into package "BOOT". Fix syntax.
* iterator.boot.pamphlet: Push into package "BOOT".
* modemap.boot.pamphlet: Likewise.
* msgdb.boot.pamphlet: Push into package "BOOT". Fix syntax.
* sys-globals.boot (*BUILD-VERSION*): Define.
(*YEARWEEK*): Likewise.
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 |