diff options
Diffstat (limited to 'frontend/overloading.dcl')
| -rw-r--r-- | frontend/overloading.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/overloading.dcl b/frontend/overloading.dcl index 2b1accb..ddf1835 100644 --- a/frontend/overloading.dcl +++ b/frontend/overloading.dcl @@ -35,7 +35,7 @@ import syntax, check :: LocalTypePatternVariable -tryToSolveOverloading :: ![(Optional [TypeContext], [ExprInfoPtr], IdentPos)] !{# CommonDefs } !ClassInstanceInfo !*Coercions !*OverloadingState +tryToSolveOverloading :: ![(Optional [TypeContext], [ExprInfoPtr], IdentPos, Index)] !{# CommonDefs } !ClassInstanceInfo !*Coercions !*OverloadingState -> (![TypeContext], !*Coercions, ![LocalTypePatternVariable], !*OverloadingState) :: TypeCodeInfo = @@ -44,7 +44,7 @@ tryToSolveOverloading :: ![(Optional [TypeContext], [ExprInfoPtr], IdentPos)] !{ , tci_type_var_heap :: !.TypeVarHeap } -removeOverloadedFunctions :: ![Int] ![(Optional [TypeContext], IdentPos)] ![TypeContext] ![LocalTypePatternVariable] !*{#FunDef} !*ExpressionHeap +removeOverloadedFunctions :: ![(Optional [TypeContext], IdentPos, Index)] ![TypeContext] ![LocalTypePatternVariable] !*{#FunDef} !*ExpressionHeap !*TypeCodeInfo !*VarHeap !*ErrorAdmin -> (!*{#FunDef}, !*ExpressionHeap, !*TypeCodeInfo, !*VarHeap, !*ErrorAdmin) |