aboutsummaryrefslogtreecommitdiff
path: root/frontend/classify.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/classify.dcl')
-rw-r--r--frontend/classify.dcl11
1 files changed, 6 insertions, 5 deletions
diff --git a/frontend/classify.dcl b/frontend/classify.dcl
index c8fa829..cd603d0 100644
--- a/frontend/classify.dcl
+++ b/frontend/classify.dcl
@@ -1,6 +1,7 @@
definition module classify
-import syntax, transform
+import syntax
+from partition import ::Component,::ComponentMembers
CUnusedLazy :== -1
CUnusedStrict :== -2
@@ -11,14 +12,14 @@ CVarOfMultimatchCase :== -6
:: CleanupInfo :== [ExprInfoPtr]
-analyseGroups :: !{# CommonDefs} !{#{#FunType}} !IndexRange !Int !Int !*{! Group} !*{#FunDef} !*VarHeap !*ExpressionHeap
- -> (!CleanupInfo, !*{!ConsClasses}, !*{!Group}, !*{#FunDef}, !*VarHeap, !*ExpressionHeap)
+analyseGroups :: !{# CommonDefs} !{#{#FunType}} !IndexRange !Int !Int !*{!Component} !*{#FunDef} !*VarHeap !*ExpressionHeap
+ -> (!CleanupInfo, !*{!ConsClasses}, !*{!Component}, !*{#FunDef}, !*VarHeap, !*ExpressionHeap)
-reanalyseGroups :: !{# CommonDefs} !{#{#FunType}} !Int !Int ![FunctionInfoPtr] ![Group] !*{#FunDef} !*VarHeap !*ExpressionHeap !*FunctionHeap !*{!ConsClasses}
+reanalyseGroups :: !{# CommonDefs} !{#{#FunType}} !Int !Int ![Component] !*{#FunDef} !*VarHeap !*ExpressionHeap !*FunctionHeap !*{!ConsClasses}
-> (!CleanupInfo, !*{#FunDef}, !*VarHeap, !*ExpressionHeap, !*FunctionHeap, !*{!ConsClasses}, !Bool)
:: *PRState =
- { prs_group :: ![Int]
+ { prs_group :: !ComponentMembers
, prs_cons_args :: !*{!ConsClasses}
, prs_main_dcl_module_n :: !Int
, prs_fun_heap :: !*FunctionHeap