diff options
| author | johnvg | 2003-10-16 09:26:30 +0000 |
|---|---|---|
| committer | johnvg | 2003-10-16 09:26:30 +0000 |
| commit | d3885a3e8a53dee019ad328c9e73e34b44d1a715 (patch) | |
| tree | 4ac3254e36ebed1bd41b2e5fb4203c37451a21de /backendC/CleanCompilerSources | |
| parent | add extra attribute argument to BEFlatType and (diff) | |
add extra attribute argument to BEFlatType and
the is_boxed_record argument to BERecordType
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1391 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC/CleanCompilerSources')
| -rw-r--r-- | backendC/CleanCompilerSources/backend.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/backendC/CleanCompilerSources/backend.c b/backendC/CleanCompilerSources/backend.c index 2dc81f3..6308b8d 100644 --- a/backendC/CleanCompilerSources/backend.c +++ b/backendC/CleanCompilerSources/backend.c @@ -2733,7 +2733,7 @@ BENoTypeVars (void) } /* BENoTypeVars */ BEFlatTypeP -BEFlatType (BESymbolP symbol, BETypeVarListP arguments) +BEFlatType (BESymbolP symbol, BEAttribution attribution, BETypeVarListP arguments) { FlatType flatType; int i; @@ -2749,7 +2749,7 @@ BEFlatType (BESymbolP symbol, BETypeVarListP arguments) flatType->ft_cons_vars = NULL; /* used in PrintType */ - flatType->ft_attribute = NoUniAttr; + flatType->ft_attribute = (AttributeKind) attribution;; return (flatType); } /* BEFlatType */ @@ -2796,7 +2796,7 @@ BEAlgebraicType (BEFlatTypeP lhs, BEConstructorListP constructors) } /* BEAlgebraicType */ void -BERecordType (int moduleIndex, BEFlatTypeP lhs, BETypeNodeP constructorType, BEFieldListP fields) +BERecordType (int moduleIndex, BEFlatTypeP lhs, BETypeNodeP constructorType, int is_boxed_record, BEFieldListP fields) { int nFields; Types type; @@ -2843,7 +2843,7 @@ BERecordType (int moduleIndex, BEFlatTypeP lhs, BETypeNodeP constructorType, BEF sdef->sdef_type = type; sdef->sdef_arity = constructorType->type_node_arity; - sdef->sdef_boxed_record = False; + sdef->sdef_boxed_record = is_boxed_record; // +++ change this { |