From 9913bddb286069aa520bb79b4f6ade81ba374908 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sun, 22 Mar 2009 21:05:05 +0000
Subject: [PATCH] Fixed array constructor types that have been lifted to mobile
 arrays

---
 frontends/OccamPasses.hs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/frontends/OccamPasses.hs b/frontends/OccamPasses.hs
index 8d193a1..4999052 100644
--- a/frontends/OccamPasses.hs
+++ b/frontends/OccamPasses.hs
@@ -83,6 +83,8 @@ fixConstructorTypes = occamOnlyPass "Fix the types of array constructors"
         doExpr _ dims s = diePC (findMeta s) $ formatCode
           ("fixConstructorTypes found unexpected: %, " ++ show s) dims
 
+    doExpression (A.AllocMobile m _ e@(Just (A.Literal _ t (A.ArrayListLiteral {}))))
+       = return $ A.AllocMobile m (A.Mobile t) e
     doExpression e = return e
 
 -- | Handle ambiguities in the occam syntax that the parser can't resolve.