From 172e331a9cfc77e639c7e0110bb34d3001d94f60 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Sat, 4 Apr 2009 15:23:40 +0000
Subject: [PATCH] Made sure that constants pulled up into sizes arrays are
 resolved into integers, rather than still referring to named constants

---
 backends/BackendPasses.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/BackendPasses.hs b/backends/BackendPasses.hs
index 3e330ed..ba3eead 100644
--- a/backends/BackendPasses.hs
+++ b/backends/BackendPasses.hs
@@ -163,7 +163,7 @@ getSizes m es
          Nothing -> let base = "sizes" ++ concat (intersperse "_" $ map show ces)
                         t = A.Array [A.Dimension $ makeConstant m $ length es] A.Int
                         val = A.ArrayListLiteral m $ A.Several m $
-                          map (A.Only m) $ es
+                          map (A.Only m) $ map (makeConstant m) ces
                         e = A.Literal m t val
            in do spec@(A.Specification _ n _) <- makeNonceIsExpr base m t e
                  addPulled (m, Left spec)