diff options
author | dos-reis <gdr@axiomatics.org> | 2011-11-28 15:46:11 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-11-28 15:46:11 +0000 |
commit | 76263e0ec3b3d0f39172ac4b84599b364d161d7a (patch) | |
tree | 0971b56c930828b73647aa69f09b7cdfd3f2fa43 /src/interp/define.boot | |
parent | a0081da8b161489e0e188fe4ea66a349bf400740 (diff) | |
download | open-axiom-76263e0ec3b3d0f39172ac4b84599b364d161d7a.tar.gz |
* interp/define.boot (encodeCatform): Handle $ here.
* interp/nruncomp.boot (deltaTran): assocIndex now handles $.
(getLocalIndex): Likewise.
(NRTencode): Handle $ before calling assocIndex.
(assocIndex): Handle $.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 7d60c85c..44ace682 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -486,6 +486,7 @@ NRTmakeCategoryAlist(db,e) == --NOTE: this is new form: old form satisfies vector? CDDR form encodeCatform(db,x) == + x is '$ => x k := assocIndex(db,x) => k x isnt [.,:.] or rest x isnt [.,:.] => x [first x,:[encodeCatform(db,y) for y in rest x]] |