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

Improved an error message from the usage checking

Browse Source
This commit is contained in:
Neil Brown 2009-02-08 19:43:09 +00:00
parent a75a195654
commit b638c20ee8
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
checks/ArrayUsageCheck.hs
View File

@ -446,7 +446,8 @@ transformBKList f bk = mapM (transformBK f) bk >>* foldl accumProblem ([],[])
makeSingleEq :: ([FlattenedExp] -> [FlattenedExp]) -> A.Expression -> String -> StateT VarMap (Either String) EqualityConstraintEquation
makeSingleEq f e desc = (lift (flatten e) >>* f) >>= makeEquation e ([{-TODO-}],
f) (error $ "Type is irrelevant for " ++ desc)
>>= getSingleAccessItem ("Modulo or Divide not allowed in " ++ desc)
>>= getSingleAccessItem ("Modulo or Divide not allowed in " ++ desc
++ "(while processing: " ++ showOccam e ++ ")")
-- | A helper function for joining two problems
accumProblem :: (EqualityProblem,InequalityProblem) -> (EqualityProblem,InequalityProblem) -> (EqualityProblem,InequalityProblem)