diff options
author | johnvg | 2011-11-09 11:12:31 +0000 |
---|---|---|
committer | johnvg | 2011-11-09 11:12:31 +0000 |
commit | 2c5041661277ee4fbd2729f3fa03e754c60cc238 (patch) | |
tree | 2d1f5a9f7c7b3beaf2d697dfce9fe2c0323ef5f5 /frontend | |
parent | rename module StdCompare to compare_types (diff) |
move types Group and Component to module checksupport
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2019 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend')
-rw-r--r-- | frontend/checksupport.dcl | 9 | ||||
-rw-r--r-- | frontend/convertcases.icl | 7 | ||||
-rw-r--r-- | frontend/partition.dcl | 7 | ||||
-rw-r--r-- | frontend/transform.dcl | 4 | ||||
-rw-r--r-- | frontend/transform.icl | 4 |
5 files changed, 11 insertions, 20 deletions
diff --git a/frontend/checksupport.dcl b/frontend/checksupport.dcl index 520cc8b..7ca923f 100644 --- a/frontend/checksupport.dcl +++ b/frontend/checksupport.dcl @@ -29,6 +29,15 @@ cNeedStdStrictLists :== 16 :: 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 cTypeDefs :== 0 diff --git a/frontend/convertcases.icl b/frontend/convertcases.icl index 9c5c8a9..a6c68d7 100644 --- a/frontend/convertcases.icl +++ b/frontend/convertcases.icl @@ -1,10 +1,7 @@ -/* - module owner: Ronny Wichers Schreur -*/ implementation module convertcases -import syntax, transform, compare_types, utilities, typesupport, general -from partition import ::Component(..),::ComponentMembers(..) +import syntax, compare_types, utilities, typesupport, general +from checksupport import ::Component(..),::ComponentMembers(..) from trans import convertSymbolType // exactZip fails when its arguments are of unequal length diff --git a/frontend/partition.dcl b/frontend/partition.dcl index adf07cc..bec67d1 100644 --- a/frontend/partition.dcl +++ b/frontend/partition.dcl @@ -2,13 +2,6 @@ definition module partition import syntax, transform -:: Component = { component_members :: !ComponentMembers } - -:: ComponentMembers - = ComponentMember !Int !ComponentMembers - | GeneratedComponentMember !Int !FunctionInfoPtr !ComponentMembers - | NoComponentMembers - partitionateFunctions :: !*{# FunDef} ![IndexRange] -> (!*{!Component}, !*{# FunDef}) partitionateFunctions` diff --git a/frontend/transform.dcl b/frontend/transform.dcl index da07a6d..2ed9647 100644 --- a/frontend/transform.dcl +++ b/frontend/transform.dcl @@ -2,10 +2,6 @@ definition module transform import syntax, checksupport -:: Group = - { group_members :: ![Int] - } - :: PredefSymbolsForTransform = { predef_alias_dummy :: !PredefinedSymbol, predef_and :: !PredefinedSymbol, predef_or :: !PredefinedSymbol }; partitionateDclMacros :: !IndexRange !Index !PredefSymbolsForTransform !*{#*{#FunDef}} !*VarHeap !*ExpressionHeap !*SymbolTable !*ErrorAdmin diff --git a/frontend/transform.icl b/frontend/transform.icl index bdb27b4..4d63f35 100644 --- a/frontend/transform.icl +++ b/frontend/transform.icl @@ -860,10 +860,6 @@ where 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) -:: Group = - { group_members :: ![Int] - } - :: PartitioningInfo = { pi_symbol_table :: !.SymbolTable , pi_var_heap :: !.VarHeap |