From 201788b478651e655b64ca4de30ea84f7cd4acf4 Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Mon, 7 Apr 2008 22:43:51 +0000
Subject: [PATCH] Fix explicitly-typed array literals -- don't throw away the
 type.

---
 frontends/OccamTypes.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/frontends/OccamTypes.hs b/frontends/OccamTypes.hs
index 3e30378..55e55e2 100644
--- a/frontends/OccamTypes.hs
+++ b/frontends/OccamTypes.hs
@@ -923,8 +923,8 @@ inferTypes = applyExplicitM10 doExpression doDimension doSubscript
                     A.Array _ _ ->
                        do subT <- trivialSubscriptType m underT
                           (elemT, aes') <- doElems subT aes
-                          let dims = [makeDimension m (length aes)]
-                          return (addDimensions dims elemT,
+                          let dim = makeDimension m (length aes)
+                          return (applyDimension dim wantT,
                                   A.ArrayElemArray aes')
                     A.Record _ ->
                        do nts <- recordFields m underT