From 11588b34a398f0ee894c5729d747e5785319087e Mon Sep 17 00:00:00 2001 From: Neil Brown Date: Tue, 20 May 2008 23:44:32 +0000 Subject: [PATCH] Fixed a bug where transformConstr would skip over the second of two nested definitions of array constructors --- transformations/SimplifyExprs.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/transformations/SimplifyExprs.hs b/transformations/SimplifyExprs.hs index 866d5fa..245cf7a 100644 --- a/transformations/SimplifyExprs.hs +++ b/transformations/SimplifyExprs.hs @@ -218,7 +218,7 @@ transformConstr = doGeneric `ext1M` doStructured -- name += [expr] doStructured :: Data a => A.Structured a -> PassM (A.Structured a) doStructured (A.Spec m (A.Specification m' n (A.IsExpr _ _ _ expr@(A.ExprConstr m'' (A.RepConstr _ t rep exp)))) scope) - = do scope' <- doGeneric scope + = do scope' <- transformConstr scope case t of A.Array {} -> do indexVarSpec@(A.Specification _ indexName _) <- makeNonceVariable "array_constr_index" m'' A.Int A.VariableName A.Original