diff options
Diffstat (limited to 'frontend/checkgenerics.dcl')
| -rw-r--r-- | frontend/checkgenerics.dcl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/frontend/checkgenerics.dcl b/frontend/checkgenerics.dcl index 62c594e..cf291e0 100644 --- a/frontend/checkgenerics.dcl +++ b/frontend/checkgenerics.dcl @@ -7,11 +7,11 @@ checkGenericDefs :: !Index !(Optional (CopiedDefinitions, Int)) !*{#GenericDef} !*{#CheckedTypeDef} !*{#ClassDef} !*{#DclModule} !*Heaps !*CheckState -> (!*{#GenericDef},!*{#CheckedTypeDef},!*{#ClassDef},!*{#DclModule},!*Heaps,!*CheckState) -checkGenericCaseDefs :: !Index !*{#GenericCaseDef} !*{#GenericDef} !u:{#CheckedTypeDef} !*{#DclModule} !*Heaps !*CheckState - -> (!*{#GenericCaseDef},!*{#GenericDef},!u:{#CheckedTypeDef},!*{#DclModule},!.Heaps,!.CheckState) +checkGenericCaseDefs :: !Index !*{#GenericCaseDef} !*{#GenericDef} !u:{#CheckedTypeDef} !*{#ClassDef} !*{#DclModule} !*Heaps !*CheckState + -> (!*{#GenericCaseDef},!*{#GenericDef},!u:{#CheckedTypeDef},!*{#ClassDef},!*{#DclModule},!.Heaps,!.CheckState) 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) + -> (!Index,![FunType],!*{#GenericCaseDef},!*Heaps) |