diff options
Diffstat (limited to 'frontend/generics.dcl')
| -rw-r--r-- | frontend/generics.dcl | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/frontend/generics.dcl b/frontend/generics.dcl deleted file mode 100644 index 95465a4..0000000 --- a/frontend/generics.dcl +++ /dev/null @@ -1,10 +0,0 @@ -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) -
\ No newline at end of file |