diff options
Diffstat (limited to 'src/interp/define.boot')
| -rw-r--r-- | src/interp/define.boot | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index e418aae0..b025b160 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -463,12 +463,12 @@ getCatAncestors x == [CAAR y for y in parentsOf opOf x] NRTmakeCategoryAlist(db,e) == pcAlist := [:[[x,:true] for x in $uncondAlist],:$condAlist] - $levelAlist: local := depthAssocList([CAAR x for x in pcAlist],hashTable 'EQ) - opcAlist := sortBy(function NRTcatCompare,pcAlist) + levelAlist := depthAssocList([CAAR x for x in pcAlist],hashTable 'EQ) + opcAlist := sortBy(function(x +-> LASSOC(first(x).op,levelAlist)),pcAlist) newPairlis := [[5 + i,:b] for [.,:b] in dbFormalSubst db for i in 1..] slot1 := [[a,:k] for [a,:b] in dbSubstituteAllQuantified(db,opcAlist) | (k := predicateBitIndex(b,e)) ~= -1] - slot0 := [hasDefaultPackage opOf a for [a,:b] in slot1] + slot0 := [hasDefaultPackage a.op for [a,:b] in slot1] sixEtc := [5 + i for i in 1..dbArity db] formals := ASSOCRIGHT dbFormalSubst db for x in slot1 repeat @@ -490,8 +490,6 @@ encodeCatform(db,x) == x isnt [.,:.] or rest x isnt [.,:.] => x [first x,:[encodeCatform(db,y) for y in rest x]] -NRTcatCompare [catform,:pred] == LASSOC(first catform,$levelAlist) - hasDefaultPackage catname == defname := makeDefaultPackageName symbolName catname constructor? defname => defname |