Constant checking of array constructor expressions containing iterators fixed.

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@1159 f25d12d1-65f4-0310-ae8a-bbce733d8d8e

Author: levsa

modeq/mod.rml

@@ -943,9 +943,9 @@ relation print_eqmod : Types.EqMod option => () =
   axiom print_eqmod NONE
 
   rule  Print.print_buf " =(typed) " & Exp.print_exp e &
-	Dump.print_select (const, "const", "non-const")
+	Types.print_prop prop
 	-----------------------------
-	print_eqmod SOME(Types.TYPED(e,Types.PROP(ty,const)))
+	print_eqmod SOME(Types.TYPED(e,prop))
 
   rule  Print.print_buf " =(untyped) " & Dump.print_exp e
 	-----------------------------

modeq/staticexp.rml

@@ -363,7 +363,7 @@ relation add_for_loop_scope_const : (Env.Env, Ident, Types.Type) => Env.Env =
 			   Types.VAR(i,
 				     Types.ATTR(false,
 						SCode.RW,
-						SCode.VAR,
+						SCode.PARAM,
 						Absyn.BIDIR),
 				     false,
 				     typ, 

modeq/types.rml

@@ -144,6 +144,7 @@ returns multiple arguments. *)
   relation make_array: (Type, Absyn.ArrayDim) => Type
   relation array_element_type : Type => Type
   relation print_type : Type => ()
+  relation print_prop : Properties => ()
   relation unparse_type : Type => string
   relation print_var : Var => ()
   relation print_binding : Binding => ()
@@ -1566,3 +1567,20 @@ relation match_with_promote : (Properties, Properties, bool (* Allow Integer =>
 	match_with_promote(PROP((T_INTEGER(_),_),c1),PROP((T_INTEGER(_),p2),c2), true) 
 	  => PROP((T_REAL([]),p2),c)
 end
+
+relation print_prop : Properties => () =
+
+  rule	Print.print_buf "PROP(" &
+	print_type ty &
+	Dump.print_select(const,"const","non_const") &
+	Print.print_buf ")"
+	-------------------
+	print_prop PROP(ty,const)
+
+  rule	Print.print_buf "PROP_TUPLE(" &
+	print_type ty &
+	Print.print_buf ",<Type.Const>)"
+	---------------------------------
+	print_prop PROP_TUPLE(ty,const)
+
+end