From cfc3577c2147f6178329560e7b42e99351da1fcd Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 27 Feb 2008 18:24:33 +0000
Subject: [PATCH] Fixed the pre-condition of flattenAssign to include the types
 being resolved

---
 transformations/SimplifyProcs.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/transformations/SimplifyProcs.hs b/transformations/SimplifyProcs.hs
index e89e16a..64e9168 100644
--- a/transformations/SimplifyProcs.hs
+++ b/transformations/SimplifyProcs.hs
@@ -33,7 +33,7 @@ simplifyProcs :: [Pass]
 simplifyProcs = makePassesDep
       [ ("Wrap PAR subprocesses in PROCs", parsToProcs, [Prop.parUsageChecked], [Prop.parsWrapped])
       , ("Remove parallel assignment", removeParAssign, [Prop.parUsageChecked, Prop.functionsRemoved], [Prop.assignParRemoved])
-      , ("Flatten assignment", flattenAssign, [Prop.assignParRemoved], [Prop.assignFlattened])
+      , ("Flatten assignment", flattenAssign, Prop.agg_typesDone ++ [Prop.assignParRemoved], [Prop.assignFlattened])
       ]
 
 -- | Wrap the subprocesses of PARs in no-arg PROCs.