diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-29 11:46:24 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2015-12-29 11:46:24 -0800 |
| commit | cfb8e7754f4aacfb6e67a3973b856f025fff0d11 (patch) | |
| tree | 0a82de333648a1f6e5638056e0823038d1d7b11b /src/interp/define.boot | |
| parent | 0cb4834d923450c2324232954505b52f9e7053f0 (diff) | |
| download | open-axiom-cfb8e7754f4aacfb6e67a3973b856f025fff0d11.tar.gz | |
Introduce '' for the slot number of the add-chain domain.
Diffstat (limited to 'src/interp/define.boot')
| -rw-r--r-- | src/interp/define.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index b33f9f20..dbac6f62 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -489,11 +489,11 @@ makeCategoryAlist(db,e) == pcAlist := [:[[x,:true] for x in $uncondAlist],:$condAlist] levelAlist := depthAssocList(substSource pcAlist,hashTable 'EQUAL) opcAlist := sortBy(function(x +-> LASSOC(first x,levelAlist)),pcAlist) - newPairlis := [[i,:b] for [.,:b] in dbFormalSubst db for i in 6..] + newPairlis := [[i,:b] for [.,:b] in dbFormalSubst db for i in $NRTbase..] slot1 := [[a,:k] for [a,:b] in dbSubstituteAllQuantified(db,opcAlist) | (k := predicateBitIndex(db,b,e)) ~= -1] slot0 := [getCategoryConstructorDefault a.op for [a,:.] in slot1] - sixEtc := [5 + i for i in 1..dbArity db] + sixEtc := [$AddChainIndex + i for i in 1..dbArity db] formals := substTarget dbFormalSubst db for x in slot1 repeat x.first := applySubst(pairList(['$,:formals],["$$",:sixEtc]),first x) @@ -602,7 +602,7 @@ extendsCategoryBasic(dom,u,v,tbl,env) == isCategoryForm(v,env) => catExtendsCat?(u,v,tbl,env) v is ['SIGNATURE,op,sig,:.] => uVec := getCategoryObjectIfCan(tbl,u,env) or return false - or/[categoryRef(uVec,i) is [[=op,=sig],:.] for i in 6..maxIndex uVec] + or/[categoryRef(uVec,i) is [[=op,=sig],:.] for i in $NRTbase..maxIndex uVec] u is ['CATEGORY,.,:l] => v is ['IF,:.] => listMember?(v,l) false |