Commit 146829ed authored by Diederik van Arkel's avatar Diederik van Arkel
Browse files

extra curried fusion fixes

extended unused args analysis
improved strictness for case instantiation
dead code removal
parent bcbff629
......@@ -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)
This diff is collapsed.
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment