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