diff options
Diffstat (limited to 'frontend/partition.dcl')
| -rw-r--r-- | frontend/partition.dcl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/frontend/partition.dcl b/frontend/partition.dcl index ddf2222..eeaacd6 100644 --- a/frontend/partition.dcl +++ b/frontend/partition.dcl @@ -3,3 +3,11 @@ definition module partition import syntax, transform partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{! Group}, !*{# FunDef}) + +//partitionateFunctions` :: !*{# FunDef} ![IndexRange] !Index !Int !Int -> (!*{! Group}, !*{# FunDef}) +partitionateFunctions` :: !*{# FunDef} ![IndexRange] !Index !Int !Int !*PredefinedSymbols !*VarHeap !*ExpressionHeap !*ErrorAdmin -> (!*{! Group}, !*{# FunDef}, !*PredefinedSymbols, !*VarHeap, !*ExpressionHeap, !*ErrorAdmin) + +stripStrictLets :: !*{# FunDef} !*PredefinedSymbols !*VarHeap !*ExpressionHeap !*ErrorAdmin -> (!*{# FunDef}, !*PredefinedSymbols, !*VarHeap, !*ExpressionHeap, !*ErrorAdmin) + +partitionateFunctions`` :: !Int !Int ![FunctionInfoPtr] !*{# FunDef} ![Int] !Index !Int !Int !*FunctionHeap + -> (!Int, ![Group], !*{# FunDef}, !*FunctionHeap) |