aboutsummaryrefslogtreecommitdiff
path: root/frontend/overloading.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/overloading.dcl')
-rw-r--r--frontend/overloading.dcl3
1 files changed, 0 insertions, 3 deletions
diff --git a/frontend/overloading.dcl b/frontend/overloading.dcl
index 3435fba..b04b2ab 100644
--- a/frontend/overloading.dcl
+++ b/frontend/overloading.dcl
@@ -50,6 +50,3 @@ tryToSolveOverloading :: ![(Optional [TypeContext], [ExprInfoPtr], IdentPos, Ind
removeOverloadedFunctions :: ![Index] ![LocalTypePatternVariable] !Int !*{#FunDef} !*{! FunctionType} !*ExpressionHeap
!*TypeCodeInfo !*VarHeap !*ErrorAdmin !*{#PredefinedSymbol} //!*{#PredefinedSymbol}
-> (!*{#FunDef}, !*{! FunctionType}, !*ExpressionHeap, !*TypeCodeInfo, !*VarHeap, !*ErrorAdmin, !*{#PredefinedSymbol})
-
-updateDynamics :: ![Index] ![LocalTypePatternVariable] !Int !*{#FunDef} !*{! FunctionType} !*ExpressionHeap !*TypeCodeInfo !*VarHeap !*ErrorAdmin !*{#PredefinedSymbol}
- -> (!*{#FunDef}, !*{! FunctionType}, !*ExpressionHeap, !*TypeCodeInfo, !*VarHeap, !*ErrorAdmin, !*{#PredefinedSymbol})