add abstract synonym types

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1157 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

1 files changed, 5 insertions, 1 deletions

diff --git a/frontend/postparse.icl b/frontend/postparse.icl
index 9b76812..71d9392 100644
--- a/frontend/postparse.icl
+++ b/frontend/postparse.icl
@@ -1306,7 +1306,6 @@ where
 		= ([field : fields], next_selector_index)
 	determine_symbols_of_selectors [] next_selector_index
 		= ([], next_selector_index)
-
 reorganiseDefinitions icl_module [PD_Type type_def=:{td_rhs = TypeSpec type} : defs] cons_count sel_count mem_count type_count ca
 	# (fun_defs, c_defs, imports, imported_objects, ca) = reorganiseDefinitions icl_module defs cons_count sel_count mem_count (type_count+1) ca
 	  type_def = { type_def & td_rhs = SynType type }
@@ -1317,6 +1316,11 @@ reorganiseDefinitions icl_module [PD_Type type_def=:{td_rhs = EmptyRhs propertie
 	  type_def = { type_def & td_rhs = AbstractType properties }
 	  c_defs = { c_defs & def_types = [type_def : c_defs.def_types] }
 	= (fun_defs, c_defs, imports, imported_objects, ca)  
+reorganiseDefinitions icl_module [PD_Type type_def=:{td_rhs = AbstractTypeSpec properties type} : defs] cons_count sel_count mem_count type_count ca
+	# (fun_defs, c_defs, imports, imported_objects, ca) = reorganiseDefinitions icl_module defs cons_count sel_count mem_count (type_count+1) ca
+	  type_def = { type_def & td_rhs = AbstractSynType properties type }
+	  c_defs = { c_defs & def_types = [type_def : c_defs.def_types] }
+	= (fun_defs, c_defs, imports, imported_objects, ca)  
 reorganiseDefinitions icl_module [PD_Class class_def=:{class_name,class_arity,class_args} members : defs] cons_count sel_count mem_count type_count ca
 	# type_context = { tc_class = TCClass {glob_module = NoIndex, glob_object = {ds_ident = class_name, ds_arity = class_arity, ds_index = NoIndex }},
 					   tc_types = [ TV tv \\ tv <- class_args ], tc_var = nilPtr}