X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenutils.ml;h=aa59f1851fd92eed894304c2e001a90db5242a67;hp=2db41038b43969bf1cd4000d395d1ab0d4db5928;hb=13e08143334d6e4fcda0bdbb1444dc0ba2af6b69;hpb=dc7fb3ba41fb942f9d29fd00bb2ff4415ff1252d 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