convertDynamics.dcl 994 Bytes
Newer Older
1
2
3
/*
	module owner: Martijn Vervoort
*/
Ronny Wichers Schreur's avatar
Ronny Wichers Schreur committed
4
5
6
7
definition module convertDynamics

import syntax, transform, convertcases

8

9
10
convertDynamicPatternsIntoUnifyAppls :: {! GlobalTCType} !{# CommonDefs} !Int !*{! Group} !*{#FunDef} !*PredefinedSymbols !*VarHeap !*TypeHeaps !*ExpressionHeap (Optional !*File) {# DclModule} !IclModule /* TD */ [String]
			-> (!*{! Group}, !*{#FunDef}, !*PredefinedSymbols, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap, Optional !*File)
11
12

/*
Ronny Wichers Schreur's avatar
Ronny Wichers Schreur committed
13
convertDynamicPatternsIntoUnifyAppls :: {! GlobalTCType} !{# CommonDefs} !*{! Group} !*{#FunDef} !*PredefinedSymbols
14
		!*{#{# CheckedTypeDef}} !ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap
Ronny Wichers Schreur's avatar
Ronny Wichers Schreur committed
15
			-> (!*{! Group}, !*{#FunDef}, !*PredefinedSymbols, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap)
16
17
18
*/

instance toString GlobalTCType
19
20
21
instance toString BasicType

get_module_id_app :: !*PredefinedSymbols -> (App,Expression,!*PredefinedSymbols)