aboutsummaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
authorjohnvg2011-11-09 11:12:31 +0000
committerjohnvg2011-11-09 11:12:31 +0000
commit2c5041661277ee4fbd2729f3fa03e754c60cc238 (patch)
tree2d1f5a9f7c7b3beaf2d697dfce9fe2c0323ef5f5 /frontend
parentrename 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.dcl9
-rw-r--r--frontend/convertcases.icl7
-rw-r--r--frontend/partition.dcl7
-rw-r--r--frontend/transform.dcl4
-rw-r--r--frontend/transform.icl4
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