suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Removed various tab characters and replaced them with spaces

Browse Source
This commit is contained in:
Neil Brown 2008-01-26 19:38:24 +00:00
parent 34584130d4
commit 741a01de5a
4 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
common/Types.hs
View File

@ -28,7 +28,7 @@ module Types
, addDimensions, removeFixedDimensions, trivialSubscriptType, subscriptType, unsubscriptType
, recordFields, protocolItems
, leastGeneralSharedTypeRain
, leastGeneralSharedTypeRain
) where

2
frontends/ParseRain.hs
View File

@ -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

2
frontends/RainPassesTest.hs
View File

@ -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")]))

4
transformations/ArrayUsageCheckTest.hs
View File

@ -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)