[m-rev.] diff: switches in coverage reports

[Zoltan Somogyi]

deep_profiler/program_representation_util.m:
	Make the output for switches more reader friendly by making the '('
	line up with the matching ')'.

Zoltan.

Index: program_representation_utils.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/deep_profiler/program_representation_utils.m,v
retrieving revision 1.13
diff -u -b -r1.13 program_representation_utils.m
--- program_representation_utils.m	3 Oct 2008 06:57:15 -0000	1.13
+++ program_representation_utils.m	3 Oct 2008 06:59:42 -0000
@@ -164,11 +164,12 @@
     ;
         GoalExprRep = switch_rep(SwitchVarRep, CanFail, CasesRep),
         lookup_var_name(VarTable, SwitchVarRep, SwitchVarName),
-        string.format(" ( %s switch on %s\n",
-            [s(string(CanFail)), s(SwitchVarName)], SwitchOpenString),
+        string.format(" %s switch on %s\n",
+            [s(string(CanFail)), s(SwitchVarName)], SwitchOnString),
         print_switch_to_strings(VarTable, Indent, CasesRep, no, SwitchString),
         Strings = indent(Indent) ++ DetismString ++ GoalAnnotationString ++
-            cord.singleton(SwitchOpenString) ++ SwitchString ++
+            cord.singleton(SwitchOnString) ++
+            indent(Indent) ++ cord.singleton("(\n") ++ SwitchString ++
             indent(Indent) ++ cord.singleton(")\n")
     ;
         GoalExprRep = ite_rep(CondRep, ThenRep, ElseRep),
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------