diff options
Diffstat (limited to 'frontend/convertDynamics.dcl')
| -rw-r--r-- | frontend/convertDynamics.dcl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/frontend/convertDynamics.dcl b/frontend/convertDynamics.dcl index f693159..abcc431 100644 --- a/frontend/convertDynamics.dcl +++ b/frontend/convertDynamics.dcl @@ -9,5 +9,7 @@ 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}}, !*VarHeap, !*TypeHeaps, !*ExpressionHeap, !Optional *File) +convertDynamicPatternsIntoUnifyAppls :: !{# CommonDefs} !Int {#DclModule} !IclModule [String] !Int !Int + !*{!Group} !*{#FunDef} !*PredefinedSymbols !*VarHeap !*TypeHeaps !*ExpressionHeap !(Optional *File) + -> (!*{#{#CheckedTypeDef}}, + !*{!Group},!*{#FunDef},!*PredefinedSymbols,!*VarHeap,!*TypeHeaps,!*ExpressionHeap,!(Optional *File)) |