diff options
| author | johnvg | 2013-04-04 12:50:44 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-04 12:50:44 +0000 |
| commit | 96024ccb40adc7d5467ecb000378af784aac738e (patch) | |
| tree | 42b90973414908b7133995c6b3b51fb0d7202364 /frontend/checkgenerics.dcl | |
| parent | add type constraints in dynamic types (diff) | |
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
Diffstat (limited to 'frontend/checkgenerics.dcl')
| -rw-r--r-- | frontend/checkgenerics.dcl | 5 |
1 files changed, 3 insertions, 2 deletions
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) |