Recurse into array types

2007-05-03 03:38:25 +00:00 · 2007-05-03 03:38:25 +00:00 · 043e8e1114
commit 043e8e1114
parent de36b66c8d
1 changed files with 1 additions and 0 deletions
--- a/fco2/Types.hs
+++ b/fco2/Types.hs
@ -210,6 +210,7 @@ underlyingType (A.UserDataType n)
          case st of
            A.DataType _ t -> underlyingType t
            _ -> die $ "not a type name " ++ show n
+underlyingType (A.Array ds t) = liftM (A.Array ds) (underlyingType t)
 underlyingType t = return t

 -- | Add an array dimension to a type; if it's already an array it'll just add