1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
definition module classify
import syntax
from partition import ::Component,::ComponentMembers
CUnusedLazy :== -1
CUnusedStrict :== -2
CPassive :== -3
CActive :== -4
CAccumulating :== -5
CVarOfMultimatchCase :== -6
:: CleanupInfo :== [ExprInfoPtr]
analyseGroups :: !{# CommonDefs} !{#{#FunType}} !IndexRange !Int !Int !*{!Component} !*{#FunDef} !*VarHeap !*ExpressionHeap
-> (!CleanupInfo, !*{!ConsClasses}, !*{!Component}, !*{#FunDef}, !*VarHeap, !*ExpressionHeap)
reanalyseGroups :: !{# CommonDefs} !{#{#FunType}} !Int !Int ![Component] !*{#FunDef} !*VarHeap !*ExpressionHeap !*FunctionHeap !*{!ConsClasses}
-> (!CleanupInfo, !*{#FunDef}, !*VarHeap, !*ExpressionHeap, !*FunctionHeap, !*{!ConsClasses}, !Bool)
:: *PRState =
{ prs_group :: !ComponentMembers
, prs_cons_args :: !*{!ConsClasses}
, prs_main_dcl_module_n :: !Int
, prs_fun_heap :: !*FunctionHeap
, prs_fun_defs :: !*{#FunDef}
, prs_group_index :: !Int
}
class producerRequirements a :: !a !*PRState -> *(!Bool,!*PRState)
instance producerRequirements Expression
|
