aboutsummaryrefslogtreecommitdiff
path: root/frontend/generics.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/generics.dcl')
-rw-r--r--frontend/generics.dcl4
1 files changed, 2 insertions, 2 deletions
diff --git a/frontend/generics.dcl b/frontend/generics.dcl
index 8ee5187..47702e7 100644
--- a/frontend/generics.dcl
+++ b/frontend/generics.dcl
@@ -3,8 +3,8 @@ definition module generics
import checksupport
from transform import Group
-convertGenerics :: !{!Group} !Int !{#CommonDefs} !*{# FunDef} !*TypeDefInfos !*Heaps !*HashTable !*PredefinedSymbols !u:{# DclModule} !*ErrorAdmin
- -> (!{!Group}, !{#CommonDefs}, !*{# FunDef}, !IndexRange, !*TypeDefInfos, !*Heaps, !*HashTable, !*PredefinedSymbols, !u:{# DclModule}, !*ErrorAdmin)
+convertGenerics :: !{!Group} !Int !{#CommonDefs} !*{# FunDef} !*TypeDefInfos !*Heaps !*HashTable !*PredefinedSymbols !u:{# DclModule} !(Optional {#Index}) !*ErrorAdmin
+ -> (!{!Group}, !{#CommonDefs}, !*{# FunDef}, !IndexRange, !*TypeDefInfos, !*Heaps, !*HashTable, !*PredefinedSymbols, !u:{# DclModule}, !(Optional {#Index}), !*ErrorAdmin)
getGenericMember :: !(Global Index) !TypeKind !{#CommonDefs} -> (Bool, Global Index)
\ No newline at end of file