diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-02 16:23:37 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-02 16:23:37 +0000 |
commit | 6c36217f8a6721a3695e6c8d0b5f86401b5ed18b (patch) | |
tree | 8c2aa73f3e0dbb7aab710621e72707cf27d74c36 /src/interp/c-util.boot | |
parent | e694e02b3c8e9ae322df7440a29c3011a11503e7 (diff) | |
download | open-axiom-6c36217f8a6721a3695e6c8d0b5f86401b5ed18b.tar.gz |
more cleanups
Diffstat (limited to 'src/interp/c-util.boot')
-rw-r--r-- | src/interp/c-util.boot | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 986fbea0..3184e728 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -83,6 +83,43 @@ macro domainPredicates d == domainRef(d,3) --% + +++ List of category constructors that do not have entries in the +++ constructor database. So, they are mostly recognized by their names. +$CategoryNames == + '(CATEGORY _ + RecordCategory _ + Join _ + EnumerationCategory _ + SubsetCategory _ + UnionCategory _ + MappingCategory) + +macro builtinCategoryName? x == + symbolMember?(x,$CategoryNames) + +++ List of domain constructors that do not have entries in the constructor +++ database. So, they are mostly recognized by their names. +++ See also $CategoryNames. +$DomainNames == + '(Mapping _ + SubDomain _ + Union _ + Record _ + Enumeration) + +macro builtinFunctorName? x == + symbolMember?(x,$DomainNames) + +++ The collection of builtin category names and builtin domain names. +$BuiltinConstructorNames == + [:$CategoryNames,:$DomainNames] + +++ Return true if the symbol `s' designates a builtin constructor. +macro builtinConstructor? s == + symbolMember?(s,$BuiltinConstructorNames) + +--% $SetCategory == '(SetCategory) |