From 043e8e11149b7e1ece94d1175da69e3c62dc85eb Mon Sep 17 00:00:00 2001 From: Adam Sampson Date: Thu, 3 May 2007 03:38:25 +0000 Subject: [PATCH] Recurse into array types --- fco2/Types.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/fco2/Types.hs b/fco2/Types.hs index 5ff6ec9..9a22a0f 100644 --- 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