diff options
| author | johnvg | 2013-04-05 14:31:26 +0000 |
|---|---|---|
| committer | johnvg | 2013-04-05 14:31:26 +0000 |
| commit | 06a9755549c194ed39245152f66d81f43e2d9719 (patch) | |
| tree | 36833039b00c467487ffbd5da3d00be4fad5dcd9 /frontend/checkgenerics.dcl | |
| parent | change type GenericCaseDef, add types GenericCaseFunctions and GCF (diff) | |
add derive class for deriving generic functions in class context (from iTask branch)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2225 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
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) |