diff options
| author | johnvg | 2011-02-24 13:00:32 +0000 |
|---|---|---|
| committer | johnvg | 2011-02-24 13:00:32 +0000 |
| commit | 55a77769a9a4be1b7ebb2af0b27e2e03b7238801 (patch) | |
| tree | 7d97732506aeaeb784bf065f72cedde7224cc41f /backend | |
| parent | fix error message for not imported qualified ident (diff) | |
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1858 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend')
| -rw-r--r-- | backend/backendconvert.icl | 22 |
1 files changed, 3 insertions, 19 deletions
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 |