Commit af10e047 authored by John van Groningen's avatar John van Groningen
Browse files

move types Group and Component to module checksupport

parent 817706c8
...@@ -29,6 +29,15 @@ cNeedStdStrictLists :== 16 ...@@ -29,6 +29,15 @@ cNeedStdStrictLists :== 16
:: CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int, x_check_dynamic_types :: !Bool } :: CheckStateX = {x_needed_modules :: !BITVECT,x_main_dcl_module_n :: !Int, x_check_dynamic_types :: !Bool }
:: Group = { group_members :: ![Int] }
:: Component = { component_members :: !ComponentMembers }
:: ComponentMembers
= ComponentMember !Int !ComponentMembers
| GeneratedComponentMember !Int !FunctionInfoPtr !ComponentMembers
| NoComponentMembers
instance == STE_Kind instance == STE_Kind
cTypeDefs :== 0 cTypeDefs :== 0
......
/*
module owner: Ronny Wichers Schreur
*/
implementation module convertcases implementation module convertcases
import syntax, transform, compare_types, utilities, typesupport, general import syntax, compare_types, utilities, typesupport, general
from partition import ::Component(..),::ComponentMembers(..) from checksupport import ::Component(..),::ComponentMembers(..)
from trans import convertSymbolType from trans import convertSymbolType
// exactZip fails when its arguments are of unequal length // exactZip fails when its arguments are of unequal length
......
...@@ -2,13 +2,6 @@ definition module partition ...@@ -2,13 +2,6 @@ definition module partition
import syntax, transform import syntax, transform
:: Component = { component_members :: !ComponentMembers }
:: ComponentMembers
= ComponentMember !Int !ComponentMembers
| GeneratedComponentMember !Int !FunctionInfoPtr !ComponentMembers
| NoComponentMembers
partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{!Component}, !*{# FunDef}) partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{!Component}, !*{# FunDef})
partitionateFunctions` partitionateFunctions`
......
...@@ -2,10 +2,6 @@ definition module transform ...@@ -2,10 +2,6 @@ definition module transform
import syntax, checksupport import syntax, checksupport
:: Group =
{ group_members :: ![Int]
}
:: PredefSymbolsForTransform = { predef_alias_dummy :: !PredefinedSymbol, predef_and :: !PredefinedSymbol, predef_or :: !PredefinedSymbol }; :: PredefSymbolsForTransform = { predef_alias_dummy :: !PredefinedSymbol, predef_and :: !PredefinedSymbol, predef_or :: !PredefinedSymbol };
partitionateDclMacros :: !IndexRange !Index !PredefSymbolsForTransform !*{#*{#FunDef}} !*VarHeap !*ExpressionHeap !*SymbolTable !*ErrorAdmin partitionateDclMacros :: !IndexRange !Index !PredefSymbolsForTransform !*{#*{#FunDef}} !*VarHeap !*ExpressionHeap !*SymbolTable !*ErrorAdmin
......
...@@ -860,10 +860,6 @@ where ...@@ -860,10 +860,6 @@ where
new_var = { fv_ident = fv_ident, fv_def_level = NotALevel, fv_info_ptr = new_info, fv_count = 0 } new_var = { fv_ident = fv_ident, fv_def_level = NotALevel, fv_info_ptr = new_info, fv_count = 0 }
= ([{ lb_src = expr, lb_dst = new_var, lb_position = NoPos} : binds], writePtr fv_info_ptr (VI_Variable fv_ident new_info) var_heap) = ([{ lb_src = expr, lb_dst = new_var, lb_position = NoPos} : binds], writePtr fv_info_ptr (VI_Variable fv_ident new_info) var_heap)
:: Group =
{ group_members :: ![Int]
}
:: PartitioningInfo = :: PartitioningInfo =
{ pi_symbol_table :: !.SymbolTable { pi_symbol_table :: !.SymbolTable
, pi_var_heap :: !.VarHeap , pi_var_heap :: !.VarHeap
......
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