aboutsummaryrefslogtreecommitdiff
path: root/backendC
diff options
context:
space:
mode:
authorjohnvg2005-11-22 12:06:34 +0000
committerjohnvg2005-11-22 12:06:34 +0000
commitffce799503ad9749b840e922e85a8d8b5420da1f (patch)
tree7768d5e5ac05bd7a6ffd54cc8f6866127af6b4f0 /backendC
parentrename DeltaBId as StdBoolId, remove unused SystemFunctionsId and StdArrayAbo... (diff)
rename DeltaBId as StdBoolId
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1570 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC')
-rw-r--r--backendC/CleanCompilerSources/backend.c4
-rw-r--r--backendC/CleanCompilerSources/checker.h2
-rw-r--r--backendC/CleanCompilerSources/statesgen.c2
3 files changed, 4 insertions, 4 deletions
diff --git a/backendC/CleanCompilerSources/backend.c b/backendC/CleanCompilerSources/backend.c
index 07d18b4..1b3cb0d 100644
--- a/backendC/CleanCompilerSources/backend.c
+++ b/backendC/CleanCompilerSources/backend.c
@@ -3709,10 +3709,10 @@ BEInit (int argc)
gSpecialIdents [BESpecialIdentUndef] = &undef_id;
#endif
- DeltaBId = Identifier ("StdBool");
+ StdBoolId = Identifier ("StdBool");
AndId = NULL;
OrId = NULL;
- gSpecialIdents [BESpecialIdentStdBool] = &DeltaBId;
+ gSpecialIdents [BESpecialIdentStdBool] = &StdBoolId;
gSpecialIdents [BESpecialIdentAnd] = &AndId;
gSpecialIdents [BESpecialIdentOr] = &OrId;
diff --git a/backendC/CleanCompilerSources/checker.h b/backendC/CleanCompilerSources/checker.h
index c399a30..929687b 100644
--- a/backendC/CleanCompilerSources/checker.h
+++ b/backendC/CleanCompilerSources/checker.h
@@ -5,7 +5,7 @@
#define BITTEST(v,n) (((BITVECT) v >> n) & ((BITVECT) 1))
#define TCONS_BIT_NR 31
-extern Ident AnnotatedId, ListId, TupleId, ConsId, NilId, ApplyId, SelectId, IfId, FailId, DeltaBId,
+extern Ident AnnotatedId, ListId, TupleId, ConsId, NilId, ApplyId, SelectId, IfId, FailId, StdBoolId,
AndId, OrId, StdArrayId, ArrayFunctionIds [], ArrayId, StrictArrayId, UnboxedArrayId, ArrayClassId;
#if STRICT_LISTS
extern Ident StrictListId,UnboxedListId,TailStrictListId,StrictTailStrictListId,UnboxedTailStrictListId;
diff --git a/backendC/CleanCompilerSources/statesgen.c b/backendC/CleanCompilerSources/statesgen.c
index cff7e65..c8a6cc9 100644
--- a/backendC/CleanCompilerSources/statesgen.c
+++ b/backendC/CleanCompilerSources/statesgen.c
@@ -2031,7 +2031,7 @@ static Bool NodeInAStrictContext (Node node,StateS demanded_state,int local_scop
if (definition_state_p!=NULL){
#ifdef FASTER_STRICT_AND_OR
- if (sdef->sdef_module==DeltaBId->ident_name && node->node_arity==2){
+ if (sdef->sdef_module==StdBoolId->ident_name && node->node_arity==2){
if (sdef->sdef_ident==AndId){
ArgP arg1,arg2,false_arg;
NodeP false_node;