blob: f693159a8a46c50e7c06ce5ba24627c9848cca7e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/*
module owner: Ronny Wichers Schreur
*/
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}}, !*VarHeap, !*TypeHeaps, !*ExpressionHeap, !Optional *File)
|
