<div><br></div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 12 Sep 2019 at 1:02 am, Chris Muller <<a href="mailto:asqueaker@gmail.com">asqueaker@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">"An Interval reversed is generally an Interval, except when made of Float."<br>
Should ReversedInterval be renamed to ReversedFloatInterval then?<br></blockquote><div><br></div><div>+1<br></div><div><br></div><div>Interval was designed for Integers only.  IMO, it should be copied to a separate class, FloatInterval, to implement this capability.</div></div></div></blockquote><div dir="auto"><br></div><div dir="auto">Does anyone actually need Float support in Interval at this point? Or would it make sense to just disallow Floats in Interval for the time being?</div><div dir="auto"><br></div><div dir="auto">Fabio</div><div dir="auto"><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div></div></div></div><div dir="ltr"><div class="gmail_quote"><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Nonetheless, this seems to fix #testIntervalOfFloatLast and<br>
#testIntervalOfFloatReversed of IntervalTest. Do we want to integrate<br>
this proposal or shall we mark these two tests as expected failures?<br>
<br>
Fabio<br>
<br>
</blockquote></div></div>
<br>
</blockquote></div></div>