From 741a01de5a938899f27a2bcd7b158c1f814c8707 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sat, 26 Jan 2008 19:38:24 +0000
Subject: [PATCH] Removed various tab characters and replaced them with spaces

---
 common/Types.hs                        | 2 +-
 frontends/ParseRain.hs                 | 2 +-
 frontends/RainPassesTest.hs            | 2 +-
 transformations/ArrayUsageCheckTest.hs | 4 ++--
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/common/Types.hs b/common/Types.hs
index 7857e1d..68aca9e 100644
--- a/common/Types.hs
+++ b/common/Types.hs
@@ -28,7 +28,7 @@ module Types
     , addDimensions, removeFixedDimensions, trivialSubscriptType, subscriptType, unsubscriptType
     , recordFields, protocolItems
 
-	, leastGeneralSharedTypeRain
+    , leastGeneralSharedTypeRain
 
   ) where
 
diff --git a/frontends/ParseRain.hs b/frontends/ParseRain.hs
index c09bfda..2181d5b 100644
--- a/frontends/ParseRain.hs
+++ b/frontends/ParseRain.hs
@@ -293,7 +293,7 @@ assignOp
     <|> do {m <- reserved "*=" ; return (m,Just A.Times)}
     <|> do {m <- reserved "/=" ; return (m,Just A.Div)}
     <|> do {m <- reserved "%=" ; return (m,Just A.Rem)}
-    <|> do {m <- reserved "=" ; return (m,Nothing)}	
+    <|> do {m <- reserved "=" ; return (m,Nothing)}
 
 
 each :: RainParser A.Process
diff --git a/frontends/RainPassesTest.hs b/frontends/RainPassesTest.hs
index bd61e83..5f89076 100644
--- a/frontends/RainPassesTest.hs
+++ b/frontends/RainPassesTest.hs
@@ -227,7 +227,7 @@ testUnique2b :: Test
 testUnique2b = TestCase $ testPassWithItemsStateCheck "testUnique2b" exp (uniquifyAndResolveVars orig) (return ()) check
   where
     orig = A.Spec m (A.Specification m (simpleName "c") $ A.Declaration m A.Byte Nothing) $
-    	A.Several m [(A.OnlyP m $ makeSimpleAssign "c" "d"),(A.OnlyP m $ makeSimpleAssign "c" "e")]
+        A.Several m [(A.OnlyP m $ makeSimpleAssign "c" "d"),(A.OnlyP m $ makeSimpleAssign "c" "e")]
     exp = tag3 A.Spec DontCare (tag3 A.Specification DontCare ("newc"@@DontCare) $ A.Declaration m A.Byte Nothing) $
       tag2 A.Several DontCare [
         (tag2 A.OnlyP m $ tag3 A.Assign DontCare [tag2 A.Variable DontCare ("newc"@@DontCare)] (tag2 A.ExpressionList DontCare [(exprVariable "d")]))
diff --git a/transformations/ArrayUsageCheckTest.hs b/transformations/ArrayUsageCheckTest.hs
index 08fa9b6..a30ace2 100644
--- a/transformations/ArrayUsageCheckTest.hs
+++ b/transformations/ArrayUsageCheckTest.hs
@@ -230,7 +230,7 @@ check s (ind, eq, ineq) =
   case s of
     ImpossibleEq   -> TestCase $ assertEqual testName Nothing sapped
     SolveEq ans    -> TestCase $ assertEqual testName (Just (ans,[]))
-                                   	(transformMaybe (transformPair getCounterEqs id) sapped)
+                                   (transformMaybe (transformPair getCounterEqs id) sapped)
     ImpossibleIneq -> TestCase $ assertEqual testName Nothing elimed
     SolveIneq      -> TestCase $ assertBool  testName (isJust elimed) -- TODO check for a solution to the inequality
     where problem = makeConsistent eq ineq
@@ -545,7 +545,7 @@ assertEquivalentProblems title exp act
       $ pairPairs (length exp, length act) $ transformPair sortProblem sortProblem $ unzip $ map (uncurry transform) $ zip exp act)
   where
     transform :: (VarMap, (EqualityProblem, InequalityProblem)) -> (VarMap, (EqualityProblem, InequalityProblem)) ->
-    	               ( Maybe (EqualityProblem, InequalityProblem), Maybe (EqualityProblem, InequalityProblem) )
+                       ( Maybe (EqualityProblem, InequalityProblem), Maybe (EqualityProblem, InequalityProblem) )
     transform exp act = (translatedExp, Just $ sortP $ snd act)
       where
         sortP :: (EqualityProblem, InequalityProblem) -> (EqualityProblem, InequalityProblem)