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/nrunfast.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/nrunfast.boot')
-rw-r--r-- | src/interp/nrunfast.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/nrunfast.boot b/src/interp/nrunfast.boot index 44fa5463..876844ab 100644 --- a/src/interp/nrunfast.boot +++ b/src/interp/nrunfast.boot @@ -428,7 +428,7 @@ lazyMatch(source,lazyt,dollar,domain) == MEMQ(op,'(Record Union)) and first argl is [":",:.] => and/[stag = atag and lazyMatchArg(s,a,dollar,domain) for [.,stag,s] in sargl for [.,atag,a] in argl] - MEMQ(op,'(Union Mapping _[_|_|_] QUOTE)) => + MEMQ(op,'(Union Mapping _[_|_|_] QUOTE Enumeration)) => and/[lazyMatchArg(s,a,dollar,domain) for s in sargl for a in argl] coSig := getDualSignatureFromDB op null coSig => error ["bad Constructor op", op] @@ -510,7 +510,7 @@ newExpandLocalTypeForm([functorName,:argl],dollar,domain) == MEMQ(functorName, '(Record Union)) and first argl is [":",:.] => [functorName,:[['_:,tag,newExpandLocalTypeArgs(dom,dollar,domain,true)] for [.,tag,dom] in argl]] - MEMQ(functorName, '(Union Mapping _[_|_|_])) => + MEMQ(functorName, '(Union Mapping _[_|_|_] Enumeration)) => [functorName,:[newExpandLocalTypeArgs(a,dollar,domain,true) for a in argl]] functorName = "QUOTE" => [functorName,:argl] coSig := getDualSignatureFromDB functorName |