diff options
| author | ronny | 2004-03-17 12:35:41 +0000 |
|---|---|---|
| committer | ronny | 2004-03-17 12:35:41 +0000 |
| commit | 412a9875be1e8865c15e3c6f108ad5e793b863a0 (patch) | |
| tree | 51776ea965bce6c7f29fc17a3fb924bb9a6e9929 /backend/backendconvert.icl | |
| parent | reification of type definitions (diff) | |
removed useless function convertLhsNodeDefs
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1466 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backendconvert.icl')
| -rw-r--r-- | backend/backendconvert.icl | 24 |
1 files changed, 4 insertions, 20 deletions
diff --git a/backend/backendconvert.icl b/backend/backendconvert.icl index 90aeec9..904dc2c 100644 --- a/backend/backendconvert.icl +++ b/backend/backendconvert.icl @@ -7,6 +7,7 @@ import code from library "backend_library" import compilerSwitches import StdEnv +// import StdDebug import frontend import backend @@ -1476,21 +1477,21 @@ convertBody _ functionIndex lineNumber aliasDummyId args (ABCCodeExpr instructio = beNoNodeDefs ==> \noNodeDefs -> beCodeAlt lineNumber - (convertLhsNodeDefs args noNodeDefs) + (return noNodeDefs) (convertBackEndLhs functionIndex args main_dcl_module_n) (beAbcCodeBlock inline (convertStrings instructions)) convertBody _ functionIndex lineNumber aliasDummyId args (AnyCodeExpr inParams outParams instructions) main_dcl_module_n = beNoNodeDefs ==> \noNodeDefs -> beCodeAlt lineNumber - (convertLhsNodeDefs args noNodeDefs) + (return noNodeDefs) (convertBackEndLhs functionIndex args main_dcl_module_n) (beAnyCodeBlock (convertCodeParameters inParams) (convertCodeParameters outParams) (convertStrings instructions)) convertBody setRefCounts functionIndex lineNumber aliasDummyId args rhs main_dcl_module_n = beNoNodeDefs ==> \noNodeDefs -> ruleAlt setRefCounts lineNumber - (convertLhsNodeDefs args noNodeDefs) + (return noNodeDefs) (convertBackEndLhs functionIndex args main_dcl_module_n) (convertRhsNodeDefs aliasDummyId rhs main_dcl_module_n) (convertRhsStrictNodeIds rhs) @@ -1604,23 +1605,6 @@ convertCondExpr (Conditional {if_cond=cond, if_then=then, if_else=Yes else}) mai convertCondExpr expr main_dcl_module_n = convertExpr expr main_dcl_module_n -// RWS +++ rewrite -convertLhsNodeDefs :: [FunctionPattern] BENodeDefP -> BEMonad BENodeDefP -convertLhsNodeDefs [FP_Algebraic symbol subpatterns : patterns] nodeDefs - = convertLhsNodeDefs subpatterns nodeDefs ==> \nodeDefs - -> convertLhsNodeDefs patterns nodeDefs -convertLhsNodeDefs [_ : patterns] nodeDefs - = convertLhsNodeDefs patterns nodeDefs -convertLhsNodeDefs [] nodeDefs - = return nodeDefs - -defineLhsNodeDef :: FreeVar FunctionPattern BENodeDefP -> BEMonad BENodeDefP -defineLhsNodeDef freeVar pattern nodeDefs - = \be0 -> let (variable_sequence_number,be) = getVariableSequenceNumber freeVar.fv_info_ptr be0 in - beNodeDefs - (beNodeDef variable_sequence_number (convertPattern pattern)) - (return nodeDefs) be - collectNodeDefs :: Ident Expression -> [LetBind] collectNodeDefs aliasDummyId (Let {let_strict_binds, let_lazy_binds}) = filterStrictAlias let_strict_binds let_lazy_binds |