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

Fixed a Haddock comment

Browse Source
This commit is contained in:
Neil Brown 2007-12-14 15:27:51 +00:00
parent 3814a039d5
commit d9b606143e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
transformations/ArrayUsageCheck.hs
View File

@ -89,7 +89,7 @@ solveConstraints p ineq
where g = mygcdList (tail $ elems e) -- g is the GCD of a_1 .. a_n (not a_0)
-- | Solves all equality problems in the given list.
-- Will either succeed (Just () in the Error/Maybe monad) or fail (Nothing)
-- Will either succeed (Just () in the Error\/Maybe monad) or fail (Nothing)
solve :: EqualityProblem -> StateT InequalityProblem Maybe ()
solve [] = return ()
solve p = (solveUnits p >>* removeRedundant) >>= liftF checkFalsifiable >>= solveNext >>= solve