From b638c20ee843d4463bc361d2a81ebc674eefbaf5 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Sun, 8 Feb 2009 19:43:09 +0000 Subject: [PATCH] Improved an error message from the usage checking --- checks/ArrayUsageCheck.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/checks/ArrayUsageCheck.hs b/checks/ArrayUsageCheck.hs index 1568664..ba77ff8 100644 --- a/checks/ArrayUsageCheck.hs +++ b/checks/ArrayUsageCheck.hs @@ -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)