diff options
Diffstat (limited to 'frontend/convertDynamics.dcl')
| -rw-r--r-- | frontend/convertDynamics.dcl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/frontend/convertDynamics.dcl b/frontend/convertDynamics.dcl index 27d6a53..f693159 100644 --- a/frontend/convertDynamics.dcl +++ b/frontend/convertDynamics.dcl @@ -5,8 +5,9 @@ definition module convertDynamics import syntax , checksupport from transform import ::Group + :: TypeCodeVariableInfo :: DynamicValueAliasInfo convertDynamicPatternsIntoUnifyAppls :: !{# CommonDefs} !Int !*{! Group} !*{#FunDef} !*PredefinedSymbols !*VarHeap !*TypeHeaps !*ExpressionHeap (Optional *File) {# DclModule} !IclModule /* TD */ [String] - -> (!*{! Group}, !*{#FunDef}, !*PredefinedSymbols, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap, Optional *File) + -> (!*{!Group}, !*{#FunDef}, !*PredefinedSymbols, !*{#{#CheckedTypeDef}}, !*VarHeap, !*TypeHeaps, !*ExpressionHeap, !Optional *File) |