<div><div><br></div><div><br><div class="gmail_quote"></div></div></div><div><div dir="ltr" class="gmail_attr">On Tue, 12 May 2020 at 3:44 AM, Nicolas Cellier via Cuis-dev <<a href="mailto:cuis-dev@lists.cuis.st" target="_blank">cuis-dev@lists.cuis.st</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>Can you represent empty ranges?</div><div><br></div><div>For example,</div><div>(5,5) could be empty (marking a position before or after 5th character - your choice)</div><div> (5,6) a one character range (from left to right)</div><div>(5,4) too (from right to left).</div></div></blockquote><div dir="auto"><br></div></div><div><div dir="auto">Good question. Kind of looks like a pathological case, do you really need that? Is it for the cursor position?</div></div><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><br></div></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Le lun. 11 mai 2020 à 01:22, Phil B via Cuis-dev <<a href="mailto:cuis-dev@lists.cuis.st" target="_blank">cuis-dev@lists.cuis.st</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">Luciano,</div><div dir="ltr"><br></div><div>Since the vast majority of ranges I'd be working with are programmatically created, #.. wouldn't really help me (i.e. Range #from:to: would be fine and consistent with Interval in meaning) but I'm not opposed to it if it would help you.  However, I would not be in favor of overloading #, since that seems confusing given other implementors of #,.</div><div></div></div></blockquote></div></blockquote><div dir="auto"><br></div></div><div><div dir="auto">Yeah, I wouldn’t want to overload #, and my suggestion about #.. mainly was about allowing it as a binary operator that might be nice to have available for whatever people decide to use it. #from:to: looks nice enough, tho.</div>
</div>