diff options
author | dos-reis <gdr@axiomatics.org> | 2012-01-08 14:55:53 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-01-08 14:55:53 +0000 |
commit | c95f1b3efced12df21e9e99369cdb1a0a7d8ec2d (patch) | |
tree | bb14c435c048163f87a83ae27366415fd753372f /src/interp | |
parent | 041f2e9f7c59fd11a182760e31dd3bdb75d3ea79 (diff) | |
download | open-axiom-c95f1b3efced12df21e9e99369cdb1a0a7d8ec2d.tar.gz |
* boot/ast.boot (bfEnum): New.
* boot/translator.boot (translateToplevel): Use it to translate
enumeration definitions.
* interp/types.boot (%ConstructorKind): Use new syntax.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/types.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/types.boot b/src/interp/types.boot index 915279ee..592c70e5 100644 --- a/src/interp/types.boot +++ b/src/interp/types.boot @@ -43,5 +43,5 @@ namespace BOOT %Modemap <=> %List(%Form) -- modemap -%ConstructorKind <=> -- kind of ctor instances - MEMBER(category,domain,package) +structure %ConstructorKind == -- kind of ctor instances + Enumeration(category,domain,package) |