aboutsummaryrefslogtreecommitdiff
path: root/frontend/classify.dcl
diff options
context:
space:
mode:
Diffstat (limited to 'frontend/classify.dcl')
-rw-r--r--frontend/classify.dcl15
1 files changed, 6 insertions, 9 deletions
diff --git a/frontend/classify.dcl b/frontend/classify.dcl
index 0a0015e..86734de 100644
--- a/frontend/classify.dcl
+++ b/frontend/classify.dcl
@@ -2,20 +2,17 @@ definition module classify
import syntax, checksupport, transform
-CUnused :== -1
-CPassive :== -2
-CActive :== -3
-CAccumulating :== -4
-CVarOfMultimatchCase :== -5
+CUnusedLazy :== -1
+CUnusedStrict :== -2
+CPassive :== -3
+CActive :== -4
+CAccumulating :== -5
+CVarOfMultimatchCase :== -6
:: CleanupInfo :== [ExprInfoPtr]
analyseGroups :: !{# CommonDefs} !{#{#FunType}} !IndexRange !Int !Int !*{! Group} !*{#FunDef} !*VarHeap !*ExpressionHeap
-> (!CleanupInfo, !*{!ConsClasses}, !*{!Group}, !*{#FunDef}, !*VarHeap, !*ExpressionHeap)
-reanalyseFunction
- :: !Int !FunctionInfoPtr !{# CommonDefs} !{#{#FunType}} !Int !Int !*{#FunDef} !*VarHeap !*FunctionHeap !*{!ConsClasses}
- -> *(!ConsClasses,!*{#FunDef},!*VarHeap,!*FunctionHeap,!*{!ConsClasses})
-
reanalyseGroups :: !{# CommonDefs} !{#{#FunType}} !Int !Int ![FunctionInfoPtr] ![Group] !*{#FunDef} !*VarHeap !*ExpressionHeap !*FunctionHeap !*{!ConsClasses}
-> (!CleanupInfo, !*{#FunDef}, !*VarHeap, !*ExpressionHeap, !*FunctionHeap, !*{!ConsClasses}, !Bool)