blob: 7c8887021e8053efc091005180d9ad0189a52089 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/*
module owner: Ronny Wichers Schreur
*/
definition module convertcases
import syntax, transform
:: LetVarInfo
:: LetExpressionInfo
convertCasesOfFunctions :: !*{! Group} !Int !{# {# FunType} } !{# CommonDefs} !*{#FunDef} !*{#{# CheckedTypeDef}}
!ImportedConstructors !*VarHeap !*TypeHeaps !*ExpressionHeap
-> (!ImportedFunctions, !*{! Group}, !*{#FunDef}, !*{#{# CheckedTypeDef}}, !ImportedConstructors, !*VarHeap, !*TypeHeaps, !*ExpressionHeap)
|
