<div dir="ltr">I haven't found a clear and reasonable example yet, but I am certain that a non default enumFromThenTo could generate the bound several times (or only one time), and then later on generate a next that is higher (I think that modulo arithmetic in enumFromThenTo might do it?). This would certainly be unorthodox, but it is hypothetically possible. In this case the stop only when the bound would be exceeded next is more reasonable in my opinion.<div><br></div><div>Kind regards,</div><div><br></div><div>Wilfried van Asten<br><div><br><div class="gmail_quote"><div dir="ltr">Op do 17 mrt. 2016 om 06:48 schreef Francesco Ariis <<a href="mailto:fa-ml@ariis.it">fa-ml@ariis.it</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Wed, Mar 16, 2016 at 11:57:39PM -0430, Manuel Gómez wrote:<br>
> On Wed, Mar 16, 2016 at 10:56 PM, Francesco Ariis <<a href="mailto:fa-ml@ariis.it" target="_blank">fa-ml@ariis.it</a>> wrote:<br>
> > The important bit being "the list terminates when the next element would<br>
> > be greater than e3". Unfortunate in my opinion (I agree with you the<br>
> > fact that `[1..1] /= [1,1..1]` is puzzling), but specs compliant<br>
> ><br>
> > [1] <a href="https://www.haskell.org/onlinereport/basic.html" rel="noreferrer" target="_blank">https://www.haskell.org/onlinereport/basic.html</a><br>
><br>
> I'm not necessarily proposing this, but would it not be also<br>
> reasonable for this to read "the list terminates when the current<br>
> element equals e3 or the next element would be greater than e3"?  It's<br>
> slightly more wordy, but it captures the intuition that [a,b..c] ends<br>
> at c.<br>
<br>
Exactly! I am now tempted to fire in haskell-prime.<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div></div></div></div>