diff options
Diffstat (limited to 'frontend')
| -rw-r--r-- | frontend/generics.dcl | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/frontend/generics.dcl b/frontend/generics.dcl index 857b9fd..95465a4 100644 --- a/frontend/generics.dcl +++ b/frontend/generics.dcl @@ -1,12 +1,7 @@ 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) |