diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-08-18 04:12:56 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-08-18 04:12:56 +0000 |
| commit | bc5a8eb98b7a1cee6b0813a515c92a765d0cc470 (patch) | |
| tree | 4b606e6204c091d048a43b47cf1bf6d69cc99780 /src/boot/parser.boot.pamphlet | |
| parent | 61cd82ec6cae982b09c90166f65bc78bf9655dff (diff) | |
| download | open-axiom-bc5a8eb98b7a1cee6b0813a515c92a765d0cc470.tar.gz | |
* translator.boot.pamphlet (bpOutItem): Translate ConstantDefinition
nodes. Update cached Lisp translation.
* parser.boot.pamphlet (bpSimpleDefinitionTail): Build a
ConstantDefinition Ast. Update cached Lisp translation.
* ast.boot.pamphlet (ConstantDefinition): A separate Ast node
for constant definitions.
(bfCompDef): Don't compile ConstantDefinition here.
Update cached Lisp translation.
Diffstat (limited to 'src/boot/parser.boot.pamphlet')
| -rw-r--r-- | src/boot/parser.boot.pamphlet | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/boot/parser.boot.pamphlet b/src/boot/parser.boot.pamphlet index 043dde0f..eb68fa1e 100644 --- a/src/boot/parser.boot.pamphlet +++ b/src/boot/parser.boot.pamphlet @@ -848,7 +848,7 @@ bpDDef() == bpName() and bpDefTail() bpSimpleDefinitionTail() == bpEqKey "DEF" and (bpWhere() or bpTrap()) - and bpPush bfDefinition(bpPop2(),bfTuple nil, bpPop1()) + and bpPush ConstantDefinition(bpPop2(), bpPop1()) ++ Parse the remaining of a compound definition. bpCompoundDefinitionTail() == @@ -2099,8 +2099,7 @@ bpCaseItem()== (PROG () (RETURN (AND (|bpEqKey| 'DEF) (OR (|bpWhere|) (|bpTrap|)) - (|bpPush| - (|bfDefinition| (|bpPop2|) (|bfTuple| NIL) (|bpPop1|))))))) + (|bpPush| (|ConstantDefinition| (|bpPop2|) (|bpPop1|))))))) (DEFUN |bpCompoundDefinitionTail| () (PROG () |