diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-11-02 17:07:20 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-11-02 17:07:20 +0000 |
| commit | 79d82ca6b9ff6ee161606c37743a89a6e9496a99 (patch) | |
| tree | 26e6c26b4a04618a4862bf7d0d597e562e073214 /src/interp/database.boot.pamphlet | |
| parent | dbf37309af5e74c8b58225984fbda76619b67ddd (diff) | |
| download | open-axiom-79d82ca6b9ff6ee161606c37743a89a6e9496a99.tar.gz | |
* Makefile.pamphlet (database.$(FASLEXT)): New rule.
* database.boot.pamphlet: Push into package "BOOT".
Diffstat (limited to 'src/interp/database.boot.pamphlet')
| -rw-r--r-- | src/interp/database.boot.pamphlet | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/src/interp/database.boot.pamphlet b/src/interp/database.boot.pamphlet index f33d9333..03c15cd2 100644 --- a/src/interp/database.boot.pamphlet +++ b/src/interp/database.boot.pamphlet @@ -50,7 +50,14 @@ <<*>>= <<license>> -SETANDFILEQ($getUnexposedOperations,true) +import '"nlib" +import '"g-cndata" +import '"clam" +import '"cattable" +import '"compat" +)package "BOOT" + +$getUnexposedOperations := true --% Functions for manipulating MODEMAP DATABASE @@ -258,7 +265,7 @@ orderPredTran(oldList,sig,skip) == for pred in newList repeat if pred is ['isDomain,x,y] or x is ['ofCategory,x,y] then ids:= listOfPatternIds y - if and/[id in fullDependList for id in ids] then + if "and"/[id in fullDependList for id in ids] then fullDependList:= insertWOC(x,fullDependList) fullDependList:= UNIONQ(fullDependList,ids) @@ -271,7 +278,7 @@ orderPredTran(oldList,sig,skip) == --pp answer isDomainSubst u == main where - main == + main() == u is [head,:tail] => nhead := head is ['isDomain,x,y] => ['isDomain,x,fn(y,tail)] |