aboutsummaryrefslogtreecommitdiff
path: root/frontend/convertDynamics.dcl
blob: 45c8d35f0a932637c7bbd5e346fae6ce7462fe5f (plain) (blame)
1
2
3
4
5
6
7
definition module convertDynamics

import syntax, transform, convertcases

convertDynamicPatternsIntoUnifyAppls :: {! GlobalTCType} !{# CommonDefs} !*{! Group} !*{#FunDef} !*PredefinedSymbols
		!*{#{# CheckedTypeDef}} !ImportedFunctions !*VarHeap !*TypeHeaps !*ExpressionHeap
			-> (!*{! Group}, !*{#FunDef}, !*PredefinedSymbols, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap)