Description
with the advent of 2.0, we presently need to use an idiom like
if Float.(float_a < float_b +. float_c)
then do_something;
the dotted arithmetic operators on floats are the traditional solution for making float-specific infix operators but now they seem a bit at odds with local opening of Float
.
one could either say: for consistency, use new float operators <
etc in local scopes. disable globally the shadowing warnings (44 i think?) that will now become ubiquitous in local opens for float comparison, losing some help from the compiler for the cases where shadowing is really a bug.
the other option which i would actually prefer would be that containers defined <., >., <=., >=., <>.
(i did not see those, are they somewhere?) this last one might be problematic to expose by default within containers, in case user code already uses those now? however, here the shadowing warning would immediately tell the user what's going on.