aboutsummaryrefslogtreecommitdiff
path: root/frontend/generics.dcl
blob: 47702e7d493ec90097ce3e618e2cde98ef9a3d86 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
definition module generics 

import checksupport
from transform import Group

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)