diff options
author | dos-reis <gdr@axiomatics.org> | 2009-10-31 23:35:17 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-10-31 23:35:17 +0000 |
commit | 43e4aa26464a27fdd5d80272f72839653a0f6cf9 (patch) | |
tree | eaf2ecc325c8a72b3c3a9c0ed8d936d1f11a9d5f /src/interp/database.boot | |
parent | 402e10d38c81689647ae1004c80acb9841798e9b (diff) | |
download | open-axiom-43e4aa26464a27fdd5d80272f72839653a0f6cf9.tar.gz |
* interp/br-op2.boot (pairlis): Remove.
(modemap2Sig): Use pairList.
* interp/compiler.boot (applyMapping): Likewise.
* interp/database.boot (augLisplibModemapsFromCategory): Likewise.
(getOplistForConstructorForm): Likewise.
* interp/define.boot (compDefineCategory2): Likewise.
(compDefineFunctor1): Likewise.
(mkOpVec): Likewise.
* interp/lisplib.boot (finalizeLisplib): Likewise.
* interp/nruncomp.boot (mkSlot1sublis): Likewise.
* interp/wi1.boot (compDefineCategory2): Likewise.
* interp/wi2.boot (compDefineFunctor1): Likewise.
Diffstat (limited to 'src/interp/database.boot')
-rw-r--r-- | src/interp/database.boot | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 10340aab..f30bceec 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -171,8 +171,7 @@ getConstructorKind ctor == --% Functions for manipulating MODEMAP DATABASE augLisplibModemapsFromCategory(form is [op,:argl],body,signature) == - sl := [["$",:"*1"],:[[a,:p] for a in argl - for p in rest $PatternVariableList]] + sl := [["$",:"*1"],:pairList(argl,rest $PatternVariableList)] form:= SUBLIS(sl,form) body:= SUBLIS(sl,body) signature:= SUBLIS(sl,signature) @@ -711,7 +710,7 @@ getOplistForConstructorForm (form := [op,:argl]) == -- where signature-Alist has entries (<signature> . item) -- where item has form (<slotNumber> <condition> <kind>) -- where <kind> = ELT | CONST | Subsumed | (XLAM..) .. - pairlis:= [[fv,:arg] for fv in $FormalMapVariableList for arg in argl] + pairlis := pairList($FormalMapVariableList,argl) opAlist := getOperationAlistFromLisplib op [:getOplistWithUniqueSignatures(op,pairlis,signatureAlist) for [op,:signatureAlist] in opAlist] |