From 96024ccb40adc7d5467ecb000378af784aac738e Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 4 Apr 2013 12:50:44 +0000
Subject: renumber functions after checking imported modules (from iTask
 branch)

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2222 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/checkgenerics.dcl | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'frontend/checkgenerics.dcl')

diff --git a/frontend/checkgenerics.dcl b/frontend/checkgenerics.dcl
index 18c0281..62c594e 100644
--- a/frontend/checkgenerics.dcl
+++ b/frontend/checkgenerics.dcl
@@ -1,7 +1,7 @@
 definition module checkgenerics
 
 import syntax
-from checksupport import ::Heaps,::CheckState
+from checksupport import ::Heaps,::CheckState,::ErrorAdmin
 
 checkGenericDefs :: !Index !(Optional (CopiedDefinitions, Int))
 		!*{#GenericDef} !*{#CheckedTypeDef} !*{#ClassDef} !*{#DclModule} !*Heaps !*CheckState
@@ -10,7 +10,8 @@ checkGenericDefs :: !Index !(Optional (CopiedDefinitions, Int))
 checkGenericCaseDefs :: !Index !*{#GenericCaseDef} !*{#GenericDef} !u:{#CheckedTypeDef} !*{#DclModule} !*Heaps !*CheckState
 						   -> (!*{#GenericCaseDef},!*{#GenericDef},!u:{#CheckedTypeDef},!*{#DclModule},!.Heaps,!.CheckState)
 
-convert_generic_instances :: !.[GenericCaseDef] !Int -> (!.[FunDef], !.[GenericCaseDef])
+convert_generic_instances :: !Int !Int !*{#GenericCaseDef} !*{#ClassDef} !*SymbolTable !*ErrorAdmin !*{#DclModule}
+						-> (!.[FunDef],!*{#GenericCaseDef},!*{#ClassDef},!*SymbolTable,!*ErrorAdmin,!*{#DclModule})
 
 create_gencase_funtypes :: !Index !*{#GenericCaseDef} !*Heaps
 		  -> (!Index, ![FunType], !*{#GenericCaseDef},!*Heaps)
-- 
cgit v1.2.3