From: Richard W.M. Jones Date: Tue, 21 Feb 2012 19:14:19 +0000 (+0000) Subject: Comment: compare_values should be able to promote numeric types. X-Git-Tag: 0.0.1~5 X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=4cc0d2decdd9e7904038c64ad388ef110ee9d391;p=whenjobs.git Comment: compare_values should be able to promote numeric types. --- diff --git a/lib/whenutils.ml b/lib/whenutils.ml index 2db4103..aa59f18 100644 --- a/lib/whenutils.ml +++ b/lib/whenutils.ml @@ -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