From 29e3e3f15bf1622104cce56f410942597d48e19d Mon Sep 17 00:00:00 2001
From: sjakie
Date: Mon, 24 Jan 2000 13:41:48 +0000
Subject: 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
---
 frontend/overloading.dcl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'frontend/overloading.dcl')

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)
 
-- 
cgit v1.2.3