diff options
| author | sjakie | 2000-01-24 13:41:48 +0000 |
|---|---|---|
| committer | sjakie | 2000-01-24 13:41:48 +0000 |
| commit | 29e3e3f15bf1622104cce56f410942597d48e19d (patch) | |
| tree | 42640112ed69fc1e7667c0e5fb88f938143c47ba /frontend/overloading.dcl | |
| parent | check.icl: improving bugfix that yielded revision 1.15 (diff) | |
Bug fix: specified overloaded types were not treated correctly
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@81 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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) |