aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--backend/backend.dcl2
-rw-r--r--backend/backend.icl2
-rw-r--r--backendC/CleanCompilerSources/backend.h4
3 files changed, 3 insertions, 5 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl
index 635b24b..cc5f0a6 100644
--- a/backend/backend.dcl
+++ b/backend/backend.dcl
@@ -314,7 +314,7 @@ BEIntDenot:==10;
BEBoolDenot:==11;
BECharDenot:==12;
BERealDenot:==13;
-BENrOfBasicDenots:==14;
+BEIntegerDenot:==14;
BEStringDenot:==15;
BEFunType:==16;
BEArrayType:==17;
diff --git a/backend/backend.icl b/backend/backend.icl
index fd99c88..e0bb73f 100644
--- a/backend/backend.icl
+++ b/backend/backend.icl
@@ -823,7 +823,7 @@ BEIntDenot:==10;
BEBoolDenot:==11;
BECharDenot:==12;
BERealDenot:==13;
-BENrOfBasicDenots:==14;
+BEIntegerDenot:==14;
BEStringDenot:==15;
BEFunType:==16;
BEArrayType:==17;
diff --git a/backendC/CleanCompilerSources/backend.h b/backendC/CleanCompilerSources/backend.h
index c042903..9154f03 100644
--- a/backendC/CleanCompilerSources/backend.h
+++ b/backendC/CleanCompilerSources/backend.h
@@ -129,8 +129,7 @@ enum {
BERedIdType,
BENrOfBasicTypes,
- BEIntDenot, BEBoolDenot, BECharDenot, BERealDenot,
- BENrOfBasicDenots,
+ BEIntDenot, BEBoolDenot, BECharDenot, BERealDenot, BEIntegerDenot,
BEStringDenot,
BEFunType, BEArrayType, BEStrictArrayType, BEUnboxedArrayType, BEListType, BETupleType, BEEmptyType,
@@ -165,7 +164,6 @@ enum {
typedef int BESpecialIdentIndex;
Clean (::BESpecialIdentIndex :== Int)
enum {
- /* StdMisc */
BESpecialIdentStdMisc, BESpecialIdentAbort, BESpecialIdentUndef,
BESpecialIdentStdBool, BESpecialIdentAnd, BESpecialIdentOr,