frontend/mergecases.dcl


1
2
3
4
5
6
7
8
9

/*
	module owner: Ronny Wichers Schreur
*/
definition module mergecases

import syntax, checksupport

mergeCases :: !(!Expression, !Position) ![(!Expression, !Position)] !*VarHeap !*ExpressionHeap !*ErrorAdmin
			-> *(!(!Expression, !Position), !*VarHeap, !*ExpressionHeap, !*ErrorAdmin)