From 1afea6c62ca8236dbf9a0c8b793fdaee6b03a66c Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Wed, 27 Feb 2008 18:23:53 +0000
Subject: [PATCH] Fixed underlyingType not recursing properly into the inner
 types in arrays

---
 common/Types.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/common/Types.hs b/common/Types.hs
index f815770..0c160c5 100644
--- a/common/Types.hs
+++ b/common/Types.hs
@@ -323,7 +323,8 @@ underlyingType m = underlyingType'
     underlyingType'' :: A.Type -> m A.Type
     underlyingType'' t@(A.UserDataType _)
       = resolveUserType m t >>= underlyingType m
-    underlyingType'' (A.Array ds t) = return $ addDimensions ds t
+    underlyingType'' (A.Array ds t)
+      = underlyingType m t >>* addDimensions ds
     underlyingType'' t = doGeneric t
 
 -- | Like underlyingType, but only do the "outer layer": if you give this a