diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-21 15:05:11 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-21 15:05:11 +0000 |
| commit | 48d55f8e89cdc22afbf661b823bf059d231b0db4 (patch) | |
| tree | 38c83b43ea75b2bfa99fcadd98a6ab6bd9264e2d /src/interp | |
| parent | 79cbfd0098caff35ed453782986ddcc8fa9ae142 (diff) | |
| download | open-axiom-48d55f8e89cdc22afbf661b823bf059d231b0db4.tar.gz | |
* interp/c-util.boot (middleEndExpand): Give it another macro
expansion pass after new opcode expansion.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/c-util.boot | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index d3ed9926..ab80ac63 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -1104,7 +1104,8 @@ middleEndExpand x == IDENTP x and (x' := x has %Rename) => x' isAtomicForm x => x [op,:args] := x - IDENTP op and (fun := getOpcodeExpander op) => apply(fun,x,nil) + IDENTP op and (fun := getOpcodeExpander op) => + middleEndExpand apply(fun,x,nil) op in $middleEndMacroList => middleEndExpand MACROEXPAND_-1 x a := middleEndExpand op |
