From 2fd410cd5333ac36e4cbc581a30aef6265abd34b Mon Sep 17 00:00:00 2001
From: ronny
Date: Fri, 23 Feb 2001 13:07:34 +0000
Subject: temporary hack: redirect basic type Dynamic to DynamicTemp from
 StdDynamic

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@304 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backend/backendconvert.icl | 20 +++++++++++++++++++-
 1 file changed, 19 insertions(+), 1 deletion(-)

(limited to 'backend')

diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl
index ecca95b..bef3523 100644
--- a/backend/backendconvert.icl
+++ b/backend/backendconvert.icl
@@ -304,6 +304,9 @@ beDefineImportedObjsAndLibs
 	:== beApFunction2 BEDefineImportedObjsAndLibs
 beAbsType
 	:== beApFunction1 BEAbsType
+// temporary hack
+beDynamicTempTypeSymbol
+	:== beFunction0 BEDynamicTempTypeSymbol
 
 notYetImplementedExpr :: Expression
 notYetImplementedExpr
@@ -370,6 +373,11 @@ backEndConvertModulesH predefs {fe_icl = fe_icl =: {icl_name, icl_functions, icl
 		=	declareCurrentDclModule fe_icl fe_dcls.[main_dcl_module_n] main_dcl_module_n (backEnd -*-> "declareCurrentDclModule")
 	#! backEnd
 		=	declareOtherDclModules fe_dcls main_dcl_module_n icl_used_module_numbers (backEnd -*-> "declareOtherDclModules")
+
+// tempory hack
+	#! backEnd
+		=	declareDynamicTemp predefs (backEnd -*-> "declareDynamicTemp")
+
 	#! backEnd
 		=	defineDclModule varHeap main_dcl_module_n fe_dcls.[main_dcl_module_n] (backEnd -*-> "defineDclModule(cIclMoIndex)")
 	#! backEnd
@@ -834,6 +842,10 @@ convertSelector moduleIndex selectorDefs varHeap {fs_index}
 					_
 						->	(selectorDef.sd_type,be))
 
+declareDynamicTemp :: PredefinedSymbols -> BackEnder
+declareDynamicTemp predefs
+	=	appBackEnd (BEDeclareDynamicTypeSymbol predefs.[PD_StdDynamics].pds_def predefs.[PD_DynamicTemp].pds_def)
+
 predefineSymbols :: DclModule PredefinedSymbols -> BackEnder
 predefineSymbols {dcl_common} predefs
 	=	appBackEnd (BEDeclarePredefinedModule (size dcl_common.com_type_defs) (size dcl_common.com_cons_defs))
@@ -1044,7 +1056,8 @@ convertBasicTypeKind BT_File
 convertBasicTypeKind BT_World
 	=	BEWorldType
 convertBasicTypeKind BT_Dynamic
-	=	BEDynamicType
+	=	undef <<- "convertBasicTypeKind (BT_Dynamic) shouldn't occur"
+//	=	BEDynamicType
 convertBasicTypeKind (BT_String _)
 	=	undef <<- "convertBasicTypeKind (BT_String _) shouldn't occur"
 
@@ -1080,6 +1093,11 @@ convertAnnotTypeNode {at_type, at_annotation, at_attribute}
 convertTypeNode :: Type -> BEMonad BETypeNodeP
 convertTypeNode (TB (BT_String type))
 	=	convertTypeNode type
+// tempory hack
+convertTypeNode (TB BT_Dynamic)
+	=	beNormalTypeNode beDynamicTempTypeSymbol beNoTypeArgs	
+convertTypeNode (TB basicType)
+	=	beNormalTypeNode (beBasicSymbol (convertBasicTypeKind basicType)) beNoTypeArgs	
 convertTypeNode (TB basicType)
 	=	beNormalTypeNode (beBasicSymbol (convertBasicTypeKind basicType)) beNoTypeArgs	
 convertTypeNode (TA typeSymbolIdent typeArgs)
-- 
cgit v1.2.3