diff --git a/common/Types.hs b/common/Types.hs
index 94470a6..de32dac 100644
--- a/common/Types.hs
+++ b/common/Types.hs
@@ -240,7 +240,8 @@ typeOfExpression e
                else typeOfArrayList [A.UnknownDimension] bt
         A.ExprConstr m (A.RepConstr _ rep e) -> 
           do t <- typeOfExpression e 
-             typeOfArrayList [A.Dimension $ countReplicator rep] t
+             count <- evalIntExpression $ countReplicator rep
+             typeOfArrayList [A.Dimension count] t
         A.AllocMobile _ t _ -> return t
 --}}}