diff options
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) |