aboutsummaryrefslogtreecommitdiff
path: root/frontend/generics.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/generics.dcl')
-rw-r--r--frontend/generics.dcl5
1 files changed, 5 insertions, 0 deletions
diff --git a/frontend/generics.dcl b/frontend/generics.dcl
index c5dd159..857b9fd 100644
--- a/frontend/generics.dcl
+++ b/frontend/generics.dcl
@@ -1,7 +1,12 @@
definition module generics
import checksupport
+/*2.0
+from transform import ::Group
+0.2*/
+//1.3
from transform import Group
+//3.1
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)