aboutsummaryrefslogtreecommitdiff
path: root/frontend/checksupport.dcl
diff options
context:
space:
mode:
authorjohnvg2011-11-09 11:12:31 +0000
committerjohnvg2011-11-09 11:12:31 +0000
commit2c5041661277ee4fbd2729f3fa03e754c60cc238 (patch)
tree2d1f5a9f7c7b3beaf2d697dfce9fe2c0323ef5f5 /frontend/checksupport.dcl
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/checksupport.dcl')
-rw-r--r--frontend/checksupport.dcl9
1 files changed, 9 insertions, 0 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