Fixed underlyingType not recursing properly into the inner types in arrays

2008-02-27 18:23:53 +00:00 · 2008-02-27 18:23:53 +00:00 · 1afea6c62c
commit 1afea6c62c
parent eef0ac53e0
1 changed files with 2 additions and 1 deletions
--- 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