diff options
Diffstat (limited to 'src/interp/sys-constants.boot')
| -rw-r--r-- | src/interp/sys-constants.boot | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/interp/sys-constants.boot b/src/interp/sys-constants.boot index 331208ce..7ffa4460 100644 --- a/src/interp/sys-constants.boot +++ b/src/interp/sys-constants.boot @@ -539,28 +539,6 @@ $DomainConstructor == $StringCategory == '(StringCategory) - -++ 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) - -++ 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) - ++ List of language support type forms. $LangSupportTypes == '((Mode) (Domain) (Type) (Category)) |