diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-09 22:03:04 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-09 22:03:04 +0000 |
commit | 7e086ab1ad79547dc9c93e56f38d0834c9f0080c (patch) | |
tree | b74f603053a2bc4d23dc99838a7184a29feb8d90 /src/boot/translator.boot | |
parent | 84f8896fc28ddbcd0e5cfd65202005cfc12d9dfd (diff) | |
download | open-axiom-7e086ab1ad79547dc9c93e56f38d0834c9f0080c.tar.gz |
* boot/translator.boot (bpOutItem): Tidy.
* boot/parser.boot (bpTypeAliasDefition): Support parameterized alias.
* boot/ast.boot (quote): New.
(backquote): Likewise.
(genTypeAlias): Likewise.
Diffstat (limited to 'src/boot/translator.boot')
-rw-r--r-- | src/boot/translator.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/translator.boot b/src/boot/translator.boot index b5245d92..8222cab4 100644 --- a/src/boot/translator.boot +++ b/src/boot/translator.boot @@ -418,8 +418,8 @@ bpOutItem()== ImportSignature(x, sig) => bpPush genImportDeclaration(x, sig) - TypeAlias(t, args, rhs) => - bpPush [["DEFTYPE", t, args, ["QUOTE", rhs]]] + TypeAlias(lhs, rhs) => + bpPush [genTypeAlias(lhs,rhs)] ConstantDefinition(n, e) => bpPush [["DEFCONSTANT", n, e]] |