From 55a77769a9a4be1b7ebb2af0b27e2e03b7238801 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 24 Feb 2011 13:00:32 +0000
Subject: git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858
 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

---
 backend/backendconvert.icl | 22 +++-------------------
 1 file changed, 3 insertions(+), 19 deletions(-)

(limited to 'backend')

diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl
index 78e7181..bdc39f0 100644
--- a/backend/backendconvert.icl
+++ b/backend/backendconvert.icl
@@ -4,7 +4,6 @@
 implementation module backendconvert
 
 import code from library "backend_library"
-import compilerSwitches
 
 import StdEnv
 // import StdDebug
@@ -476,8 +475,7 @@ backEndConvertModulesH predefs {fe_icl =
 					=	currentDcl.dcl_common
 	# backEnd
 		=	foldSt beExportFunction exported_local_type_funs backEnd
-
-		with	
+		with
 			exported_local_type_funs
 				| False && currentDcl.dcl_module_kind == MK_None
 					=	[]
@@ -1078,19 +1076,6 @@ where
 		# backend = appBackEnd (BEAdjustUnboxedListDeconsInstance (index+1) main_dcl_module_n) backend
 		= adjustRecordListInstances indices backend
 
-
-types_to_string []
-	= ""
-types_to_string [e:l]
-	= type_to_string e+++" "+++types_to_string l
-	
-type_to_string (TB BT_Int) = "Int"
-type_to_string (TB BT_Char) = "Char"
-type_to_string (TB BT_Real) = "Real"
-type_to_string (TB BT_Bool) = "Bool"
-type_to_string (TB BT_File) = "File"
-type_to_string _ = "?"
-
 :: AdjustStdArrayInfo =
 	{	asai_moduleIndex	:: !Int
 	,	asai_mapping 		:: !{#BEArrayFunKind}
@@ -1407,6 +1392,8 @@ convertTypeNode TE
 	=	beNormalTypeNode beDontCareDefinitionSymbol beNoTypeArgs
 convertTypeNode (TFA vars type)
 	=	beAddForAllTypeVariables (convertTypeVars vars) (convertTypeNode type)
+convertTypeNode (TGenericFunctionInDictionary gds type_kind generic_dict=:{gi_module,gi_index})
+	= beNormalTypeNode (beTypeSymbol gi_index gi_module) beNoTypeArgs
 convertTypeNode typeNode
 	=	abort "convertTypeNode"  // <<- ("backendconvert, convertTypeNode: unknown type node", typeNode)
 
@@ -1810,9 +1797,6 @@ where
 	convertExpr (Conditional {if_cond=cond, if_then, if_else=Yes else})
 		=	beIfNode (convertExpr cond) (convertExpr if_then) (convertExpr else)
 
-	convertExpr  expr
-		=	undef // <<- ("backendconvert, convertExpr: unknown expression" , expr)
-
 	convertArgs :: [Expression] -> BEMonad BEArgP
 	convertArgs exprs
 		=	sfoldr (beArgs o convertExpr) beNoArgs exprs
-- 
cgit v1.2.3