Fixed bug in POW

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@1551 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Mar 1, 2005 · 4ab0927 · 4ab0927
1 parent b95b3dc
commit 4ab0927
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/modeq/staticexp.rml b/modeq/staticexp.rml
@@ -4079,7 +4079,8 @@ relation operators : (Absyn.Operator, Env.Env, Types.Type, Types.Type)
 	-----------------------------------------------------------
 	operators(Absyn.DIV,env,t1,t2) => types
 
-  rule	(* The POW operator *)
+  rule	(* The POW operator. a^b is only defined for integer exponents, i.e. b must
+	 * be of type Integer *)
 	let real_scalar = (Types.T_REAL([]),NONE) &
 	let int_scalar = (Types.T_INTEGER([]),NONE) &
 	let real_vector = (Types.T_ARRAY(Types.DIM(NONE),real_scalar),NONE) &
@@ -4088,7 +4089,7 @@ relation operators : (Absyn.Operator, Env.Env, Types.Type, Types.Type)
 	let int_pow = Exp.POW(Exp.INT) &
 
 	let scalars = [(int_pow, [int_scalar, int_scalar], int_scalar),
-		       (real_pow,[real_scalar, real_scalar], real_scalar)] &
+		       (real_pow,[real_scalar, int_scalar], real_scalar)] &
 
 
 	let arrscalar = [(Exp.POW_ARR(Exp.REAL),