From da43dcb3f569c094fa97249fae796cd5575424ce Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sun, 12 Apr 2009 13:51:32 +0000
Subject: [PATCH] Allowed multiple empty dimensions in mobile types, not just
 one

---
 frontends/ParseOccam.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/ParseOccam.hs b/frontends/ParseOccam.hs
index 1ea4fe2..eab0b3b 100644
--- a/frontends/ParseOccam.hs
+++ b/frontends/ParseOccam.hs
@@ -574,7 +574,7 @@ arrayType element
 specArrayType :: OccParser A.Type -> OccParser A.Type
 specArrayType element
     =   arrayType element
-    <|> do t <- tryXXV sLeft sRight element
+    <|> do t <- tryXXV sLeft sRight (specArrayType element <|> element)
            return $ addDimensions [A.UnknownDimension] t
 
 dataType :: OccParser A.Type