diff options
| author | martijnv | 2000-05-30 11:18:24 +0000 |
|---|---|---|
| committer | martijnv | 2000-05-30 11:18:24 +0000 |
| commit | 81d70c5ac4cfb4e1dc2c7c77bbc9f99670b99764 (patch) | |
| tree | 444a14cf61c390abbe71de09c162409c361d4498 /frontend/overloading.dcl | |
| parent | bugfix: The following let (diff) | |
fixed bugs; partially implemented type dependent functions
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@143 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/overloading.dcl')
| -rw-r--r-- | frontend/overloading.dcl | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/frontend/overloading.dcl b/frontend/overloading.dcl index 56f2470..e74304f 100644 --- a/frontend/overloading.dcl +++ b/frontend/overloading.dcl @@ -45,8 +45,8 @@ tryToSolveOverloading :: ![(Optional [TypeContext], [ExprInfoPtr], IdentPos, Ind } removeOverloadedFunctions :: ![Index] ![LocalTypePatternVariable] !*{#FunDef} !*{! FunctionType} !*ExpressionHeap - !*TypeCodeInfo !*VarHeap !*ErrorAdmin - -> (!*{#FunDef}, !*{! FunctionType}, !*ExpressionHeap, !*TypeCodeInfo, !*VarHeap, !*ErrorAdmin) + !*TypeCodeInfo !*VarHeap !*ErrorAdmin !*{#PredefinedSymbol} //!*{#PredefinedSymbol} + -> (!*{#FunDef}, !*{! FunctionType}, !*ExpressionHeap, !*TypeCodeInfo, !*VarHeap, !*ErrorAdmin, !*{#PredefinedSymbol}) -updateDynamics :: ![Index] ![LocalTypePatternVariable] !*{#FunDef} !*{! FunctionType} !*ExpressionHeap !*TypeCodeInfo !*VarHeap !*ErrorAdmin - -> (!*{#FunDef}, !*{! FunctionType}, !*ExpressionHeap, !*TypeCodeInfo, !*VarHeap, !*ErrorAdmin) +updateDynamics :: ![Index] ![LocalTypePatternVariable] !*{#FunDef} !*{! FunctionType} !*ExpressionHeap !*TypeCodeInfo !*VarHeap !*ErrorAdmin !*{#PredefinedSymbol} + -> (!*{#FunDef}, !*{! FunctionType}, !*ExpressionHeap, !*TypeCodeInfo, !*VarHeap, !*ErrorAdmin, !*{#PredefinedSymbol}) |