From 0e57c7af553ef7b93bd853f4eeb799a546cf02a1 Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Wed, 16 Jan 2008 11:51:54 +0000 Subject: [PATCH] Removed a piece of dead code from ArrayUsageCheck --- transformations/ArrayUsageCheck.hs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/transformations/ArrayUsageCheck.hs b/transformations/ArrayUsageCheck.hs index d17d7bf..ffaad08 100644 --- a/transformations/ArrayUsageCheck.hs +++ b/transformations/ArrayUsageCheck.hs @@ -180,13 +180,6 @@ type VarMap = Map.Map FlattenedExp Int makeEquations :: [A.Expression] -> A.Expression -> Either String [(VarMap, (EqualityProblem, InequalityProblem))] makeEquations es high = makeEquations' >>* (\(s,v,lh) -> [(s,squareEquations eqIneq) | eqIneq <- pairEqsAndBounds v lh]) where - {- - makeProblem :: Map.Map String Int - -> [(EqualityConstraintEquation,EqualityProblem, InequalityProblem)] - -> (EqualityConstraintEquation,EqualityConstraintEquation) - -> [(Map.Map String Int, (EqualityProblem, InequalityProblem))] - makeProblem varMap problems lowHigh = [(varMap, (eq,ineq)) | (eq,ineq) <- pairEqsAndBounds problems lowHigh] - -} -- | The body of makeEquations; returns the variable mapping, the list of (nx,ex) pairs and a pair -- representing the upper and lower bounds of the array (inclusive).