Fixed array VarDec dimensions not being propagated as constants

phases/desug.ml

@@ -56,7 +56,7 @@ let rec array_dims node =
   match node with
   | VarDec (ArrayDims (ctype, values), name, init, ann) ->
     let make_dec value name = VarDec (Int, name, Some value, []) in
-    let (decs, dims) = make_dims name values make_dec in
+    let (decs, dims) = make_dims (name ^ "$dim$") values make_dec in
     Block (decs @ [VarDec (ArrayDims (ctype, dims), name, init, ann)])
 
   | GlobalDef (export, ArrayDims (ctype, values), name, None, ann) ->