diff options
| author | ronny | 2002-09-20 10:05:15 +0000 |
|---|---|---|
| committer | ronny | 2002-09-20 10:05:15 +0000 |
| commit | dc58777cf7307cb36b93d708faff6d2346715ec7 (patch) | |
| tree | 7e621b2102d9912b8cf454f9371e7c8cee6e318a | |
| parent | removed SK_GeneratedCaseFunction: it's not necessary any more, because (diff) | |
removed unnecessary exports
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1203 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/convertcases.dcl | 15 | ||||
| -rw-r--r-- | frontend/convertcases.icl | 5 |
2 files changed, 5 insertions, 15 deletions
diff --git a/frontend/convertcases.dcl b/frontend/convertcases.dcl index 3bf46fa..6eb53ae 100644 --- a/frontend/convertcases.dcl +++ b/frontend/convertcases.dcl @@ -8,18 +8,3 @@ import syntax, transform convertCasesOfFunctions :: !*{! Group} !Int !{# {# FunType} } !{# CommonDefs} !*{#FunDef} !*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap -> (!ImportedFunctions, !*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap) - -newFunction :: !(Optional Ident) !FunctionBody ![FreeVar] ![AType] !AType !Int !(!Int, ![FunctionInfoPtr],!*FunctionHeap) - -> (! SymbIdent, !(!Int, ![FunctionInfoPtr],!*FunctionHeap)) - - -:: TypedVariable = - { tv_free_var :: !FreeVar - , tv_type :: !AType - } - -copyExpression :: ![TypedVariable] !Expression !*VarHeap -> (![Expression], ![TypedVariable], ![FreeVar], !Expression, !*VarHeap) - -addNewFunctionsToGroups :: !{#.CommonDefs} FunctionHeap ![FunctionInfoPtr] !Int !*{! Group} !*{#{# CheckedTypeDef}} !ImportedFunctions !*TypeHeaps !*VarHeap - -> (!*{! Group}, ![FunDef], !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*TypeHeaps, !*VarHeap) - diff --git a/frontend/convertcases.icl b/frontend/convertcases.icl index c692a4d..775ea55 100644 --- a/frontend/convertcases.icl +++ b/frontend/convertcases.icl @@ -1729,6 +1729,11 @@ splitGuards (BasicPatterns basicType patterns) splitGuards (OverloadedListPatterns type decons_expr patterns) = [OverloadedListPatterns type decons_expr [pattern] \\ pattern <- patterns] +:: TypedVariable = + { tv_free_var :: !FreeVar + , tv_type :: !AType + } + copyExpression :: ![TypedVariable] !Expression !*VarHeap -> (![Expression], ![TypedVariable], ![FreeVar], !Expression, !*VarHeap) copyExpression bound_vars expr var_heap # var_heap = foldSt (\{tv_free_var={fv_info_ptr},tv_type} -> writePtr fv_info_ptr (VI_BoundVar tv_type)) bound_vars var_heap |