diff options
author | dos-reis <gdr@axiomatics.org> | 2008-07-09 02:54:15 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-07-09 02:54:15 +0000 |
commit | 55515251e3643565e3a6683a5d775a1f262939cd (patch) | |
tree | 91210b6a72ebacb459e6d25049c6d8ca07986510 /src/interp/nruncomp.boot | |
parent | 95ef8592f2efacf43bc943a1df9a9007a46decea (diff) | |
download | open-axiom-55515251e3643565e3a6683a5d775a1f262939cd.tar.gz |
* interp/template.boot (evalSlotDomain): Likewise.
(NRTaddInner): Likewise.
* interp/nrunfast.boot (lazyMatch): Handle Enumeration.
(newExpandLocalTypeForm): Likewise.
* interp/lisplib.boot (isFunctor): Enumeration is a functor too.
* interp/nruncomp.boot (NRTencode): Encode Enumeration too.
Diffstat (limited to 'src/interp/nruncomp.boot')
-rw-r--r-- | src/interp/nruncomp.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 496e66a5..e70f1855 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -122,7 +122,7 @@ NRTencode(x,y) == encode(x,y,true) where encode(x,compForm,firstTime) == for [.,a,b] in rest x for [.,=a,c] in rest compForm]] (x' := isQuasiquote x) => quasiquote encode(x',isQuasiquote compForm,false) - IDENTP op and (constructor? op or MEMQ(op,'(Union Mapping))) => + IDENTP op and (constructor? op or MEMQ(op,'(Union Mapping Enumeration))) => [op,:[encode(y,z,false) for y in rest x for z in rest compForm]] ["NRTEVAL",NRTreplaceAllLocalReferences COPY_-TREE lispize compForm] MEMQ(x,$formalArgList) => @@ -143,9 +143,9 @@ listOfBoundVars form == [form] atom form => [] CAR form = 'QUOTE => [] - EQ(CAR form,":") => listOfBoundVars CADDR form + EQ(CAR form,":") => listOfBoundVars third form -- We don't want to pick up the tag, only the domain - "union"/[listOfBoundVars x for x in CDR form] + "union"/[listOfBoundVars x for x in rest form] optDeltaEntry(op,sig,dc,eltOrConst) == $killOptimizeIfTrue = true => nil |