aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2012-01-08 14:55:53 +0000
committerdos-reis <gdr@axiomatics.org>2012-01-08 14:55:53 +0000
commitc95f1b3efced12df21e9e99369cdb1a0a7d8ec2d (patch)
treebb14c435c048163f87a83ae27366415fd753372f /src/interp
parent041f2e9f7c59fd11a182760e31dd3bdb75d3ea79 (diff)
downloadopen-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.boot4
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)