From d3885a3e8a53dee019ad328c9e73e34b44d1a715 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 16 Oct 2003 09:26:30 +0000
Subject: 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
---
 backend/backendconvert.icl | 20 +++++++-------------
 1 file changed, 7 insertions(+), 13 deletions(-)

(limited to 'backend')

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))
-- 
cgit v1.2.3