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)
commit4cc0d2decdd9e7904038c64ad388ef110ee9d391
tree4552b5fa9fdf4b798fb95b335e39388006118e1a
parente74ab6c5b107e3daeb4fae3f59013856be060bad
Comment: compare_values should be able to promote numeric types.
lib/whenutils.ml