Commit 7758b45c authored by Ronny Wichers Schreur's avatar Ronny Wichers Schreur
Browse files

bug fix, print brackets in types

parent cf28a8ef
......@@ -1113,7 +1113,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)
......@@ -1140,6 +1145,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]
......@@ -1393,14 +1399,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)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment