diff options
Diffstat (limited to 'frontend/classify.dcl')
| -rw-r--r-- | frontend/classify.dcl | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/frontend/classify.dcl b/frontend/classify.dcl index c448395..c8fa829 100644 --- a/frontend/classify.dcl +++ b/frontend/classify.dcl @@ -16,3 +16,16 @@ analyseGroups :: !{# CommonDefs} !{#{#FunType}} !IndexRange !Int !Int !*{! Group reanalyseGroups :: !{# CommonDefs} !{#{#FunType}} !Int !Int ![FunctionInfoPtr] ![Group] !*{#FunDef} !*VarHeap !*ExpressionHeap !*FunctionHeap !*{!ConsClasses} -> (!CleanupInfo, !*{#FunDef}, !*VarHeap, !*ExpressionHeap, !*FunctionHeap, !*{!ConsClasses}, !Bool) + +:: *PRState = + { prs_group :: ![Int] + , 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
\ No newline at end of file |