Comment: compare_values should be able to promote numeric types.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 21 Feb 2012 19:14:19 +0000 (19:14 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 21 Feb 2012 19:14:19 +0000 (19:14 +0000)
lib/whenutils.ml

index 2db4103..aa59f18 100644 (file)
@@ -533,6 +533,7 @@ and compare_values value1 value2 =
   | T_string s1, T_string s2 -> compare s1 s2
   | T_int i1, T_int i2 -> compare_big_int i1 i2
   | T_float f1, T_float f2 -> compare f1 f2
+    (* XXX BUG: int should be promoted to float in mixed numeric comparison *)
   | _ ->
     let value1 = string_of_variable value1
     and value2 = string_of_variable value2 in