From fdf5f791f50c840348e78961ee376f5298748b67 Mon Sep 17 00:00:00 2001
From: ronny
Date: Fri, 11 Jan 2002 13:47:02 +0000
Subject: bug fix, print brackets in types (reapplication of bug fix revision
 1.55 that was removed in 1.56)

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@966 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/typesupport.icl | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

(limited to 'frontend')

diff --git a/frontend/typesupport.icl b/frontend/typesupport.icl
index ffa1a62..42d8426 100644
--- a/frontend/typesupport.icl
+++ b/frontend/typesupport.icl
@@ -1131,7 +1131,12 @@ where
 		# file_opt_beautifulizer
 				= case st_arity of
 					0
-						-> writeType file opt_beautifulizer (form, st_result)
+						-> writeType file opt_beautifulizer (bracket_arrow_type st_result.at_type form, st_result)
+							with
+								bracket_arrow_type (_ --> _) form
+									=	setProperty form cBrackets
+								bracket_arrow_type _ form
+									=	form
 					_
 						# (file, opt_beautifulizer)
 								= writeType file opt_beautifulizer (form, st_args)
@@ -1158,6 +1163,7 @@ where
 			| group_var==ai_demanded
 				= grouped group_var [ai_offered:accu] ineqs
 			=[{ ig_offered = accu, ig_demanded = group_var}: grouped ai_demanded [ai_offered] ineqs]
+
 			
 :: InequalityGroup =
 	{	ig_offered	:: ![AttributeVar] 
@@ -1411,14 +1417,14 @@ where
 			| checkProperty form cCommaSeparator
 				= show_elem elem_number (clearProperty form cCommaSeparator) type file_opt_beautifulizer
 			| checkProperty form cArrowSeparator
-				= show_elem elem_number (clearProperty form cArrowSeparator) type file_opt_beautifulizer
+				= show_elem elem_number (clearProperty (clearProperty form cArrowSeparator) cBrackets) type file_opt_beautifulizer
 			| checkProperty form cAndSeparator
 				= show_elem elem_number (clearProperty form cAndSeparator) type file_opt_beautifulizer
 				= show_elem elem_number (setProperty form cBrackets) type file_opt_beautifulizer
 		show_list elem_number form [type : types] file_opt_beautifulizer
 			# (elem_format, seperator)
 					= if (checkProperty form cCommaSeparator) (clearProperty form cCommaSeparator, ",")
-						(if (checkProperty form cArrowSeparator) (clearProperty form cArrowSeparator, " -> ")
+						(if (checkProperty form cArrowSeparator) (setProperty (clearProperty form cArrowSeparator) cBrackets, " -> ")
 							(if (checkProperty form cAndSeparator) (clearProperty form cAndSeparator, " & ")
 								(setProperty form cBrackets, " ")))
 			  (file, opt_beautifulizer)
-- 
cgit v1.2.3