diff options
-rw-r--r-- | backend/backend.dcl | 2 | ||||
-rw-r--r-- | backend/backend.icl | 2 | ||||
-rw-r--r-- | backendC/CleanCompilerSources/backend.h | 4 |
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, |