From bc7c5072b860ca86c9411d607a21a838e2dd8716 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Tue, 15 Jan 2008 18:47:28 +0000
Subject: [PATCH] Fixed the display of equations such as 0 = 0 after test
 failure

---
 transformations/ArrayUsageCheckTest.hs | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/transformations/ArrayUsageCheckTest.hs b/transformations/ArrayUsageCheckTest.hs
index fad013b..31ba82d 100644
--- a/transformations/ArrayUsageCheckTest.hs
+++ b/transformations/ArrayUsageCheckTest.hs
@@ -163,17 +163,21 @@ lookupTable :: Map.Map CoeffIndex String
 lookupTable = Map.fromList $ zip [1..] ["i","j","k","m","n","p"]
 
 showInequality :: InequalityConstraintEquation -> String
-showInequality ineq = "0 <= " ++ showItems ineq
+showInequality ineq = "0 <= " ++ zeroIfBlank (showItems ineq)
 
 showInequalities :: InequalityProblem -> String
 showInequalities ineqs = concat $ intersperse "\n" $ map showInequality ineqs
 
 showEquality :: InequalityConstraintEquation -> String
-showEquality eq = "0 = " ++ showItems eq
+showEquality eq = "0 = " ++ zeroIfBlank (showItems eq)
 
 showEqualities :: InequalityProblem -> String
 showEqualities eqs = concat $ intersperse "\n" $ map showEquality eqs
 
+zeroIfBlank :: String -> String
+zeroIfBlank s | null s    = "0"
+              | otherwise = s
+
 showProblem :: (EqualityProblem,InequalityProblem) -> String
 showProblem (eqs,ineqs) = showEqualities eqs ++ "\n" ++ showInequalities ineqs