diff options
author | dos-reis <gdr@axiomatics.org> | 2008-05-08 07:58:35 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-05-08 07:58:35 +0000 |
commit | 78b4bdac02e3f64db5acfa9ebdb1b88696b9a405 (patch) | |
tree | 9c8ce4a028ffddddf3d5e05690fc504a8eef6026 /src/boot/parser.boot | |
parent | 777de75052c863d618cb03e083bad5f050f5e6f3 (diff) | |
download | open-axiom-78b4bdac02e3f64db5acfa9ebdb1b88696b9a405.tar.gz |
* boot/translator.boot (translateToplevel): Split out of bpOutItem.
(maybeExportDecl): New.
Diffstat (limited to 'src/boot/parser.boot')
-rw-r--r-- | src/boot/parser.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boot/parser.boot b/src/boot/parser.boot index b55de2bc..129b3c91 100644 --- a/src/boot/parser.boot +++ b/src/boot/parser.boot @@ -451,7 +451,7 @@ bpImport() == bpTypeAliasDefition() == (bpTerm() or bpTrap()) and bpEqKey "TDEF" and bpLogical() and - bpPush TypeAlias(bpPop2(), bpPop1()) + bpPush %TypeAlias(bpPop2(), bpPop1()) ++ Parse a signature declaration ++ Signature: |