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 /backend | |
| 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 'backend')
| -rw-r--r-- | backend/backendconvert.icl | 20 |
1 files changed, 7 insertions, 13 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl index 2883c58..41ac150 100644 --- a/backend/backendconvert.icl +++ b/backend/backendconvert.icl @@ -308,7 +308,7 @@ beDeclareNodeId number lhsOrRhs name beAdjustArrayFunction backendId functionIndex moduleIndex :== beApFunction0 (BEAdjustArrayFunction backendId functionIndex moduleIndex) beFlatType - :== beFunction2 BEFlatType + :== beFunction3 BEFlatType beNoTypeVars :== beFunction0 BENoTypeVars beTypeVars @@ -783,7 +783,7 @@ defineTypes moduleIndex constructors selectors types convertTypeLhs :: ModuleIndex Index TypeAttribute [ATypeVar] -> BEMonad BEFlatTypeP convertTypeLhs moduleIndex typeIndex attribute args - = beFlatType (beTypeSymbol typeIndex moduleIndex) (convertTypeVars args) + = beFlatType (beTypeSymbol typeIndex moduleIndex) (convertAttribution attribute) (convertTypeVars args) convertTypeVars :: [ATypeVar] -> BEMonad BETypeVarListP convertTypeVars typeVars @@ -812,7 +812,7 @@ defineType moduleIndex constructors selectors typeIndex {td_attribute, td_args, (beConstructorSymbol moduleIndex constructorIndex) (convertSymbolTypeArgs constructorType) be - = appBackEnd (BERecordType moduleIndex flatType constructorTypeNode fields) be + = appBackEnd (BERecordType moduleIndex flatType constructorTypeNode (if rt_is_boxed_record 1 0) fields) be where constructorIndex = rt_constructor.ds_index @@ -1358,20 +1358,14 @@ convertAttribution attr convertAnnotTypeNode :: AType -> BEMonad BETypeNodeP convertAnnotTypeNode {at_type, at_attribute} = convertTypeNode at_type - :- beAnnotateTypeNode c_annot - :- beAttributeTypeNode c_attrib - where - c_annot = convertAnnotation AN_None - c_attrib = convertAttribution at_attribute + :- beAnnotateTypeNode (convertAnnotation AN_None) + :- beAttributeTypeNode (convertAttribution at_attribute) convertAnnotAndTypeNode :: Annotation AType -> BEMonad BETypeNodeP convertAnnotAndTypeNode at_annotation {at_type, at_attribute} = convertTypeNode at_type - :- beAnnotateTypeNode c_annot - :- beAttributeTypeNode c_attrib - where - c_annot = convertAnnotation at_annotation - c_attrib = convertAttribution at_attribute + :- beAnnotateTypeNode (convertAnnotation at_annotation) + :- beAttributeTypeNode (convertAttribution at_attribute) convertTypeNode :: Type -> BEMonad BETypeNodeP convertTypeNode (TB (BT_String type)) |