<div dir="ltr"><div dir="ltr"><div dir="ltr">Hi Marcel,</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jul 4, 2019 at 1:26 AM Marcel Taeumel <<a href="mailto:marcel.taeumel@hpi.de">marcel.taeumel@hpi.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div id="gmail-m_1191961601037303665__MailbirdStyleContent" style="font-size:10pt;font-family:Arial;color:rgb(0,0,0)">Hi, there.<div class="gmail-m_1191961601037303665mb_sig"></div><div><br></div><div>Given such a method:</div><div><br></div><div>Float >> #foobar</div><div>   ^ #(NaN)</div><div><br></div><div>Should this be true:</div><div><br></div><div>(<span style="font-size:13.3333px;line-height:1.5">Float >> #foobar) hasLiteral: (Float bindingOf: #NaN)</span></div><div><span style="font-size:13.3333px;line-height:1.5"><br></span></div><div><span style="font-size:13.3333px;line-height:1.5">I think not...</span></div></div></blockquote><div><br></div><div>I agree.   <span style="color:rgb(0,0,0);font-family:Arial;font-size:13.333333015441895px">(</span><span style="color:rgb(0,0,0);font-family:Arial;font-size:13.3333px;line-height:1.5">Float >> #foobar) hasLiteral: #NaN should be true, but not the bindingOf: variant.  However, in the UI it is helpful if the false positive shows up because that symbol *could* be used in a query.  So IMO at some level the UI ought to be using two queries, one for the binding and one for the binding's key.</span></div><div><span style="color:rgb(0,0,0);font-family:Arial;font-size:13.3333px;line-height:1.5"><br></span></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div id="gmail-m_1191961601037303665__MailbirdStyleContent" style="font-size:10pt;font-family:Arial;color:rgb(0,0,0)"><div><span style="font-size:13.3333px;line-height:1.5"><br></span></div><div><span style="font-size:13.3333px;line-height:1.5">Best,</span></div><div><span style="font-size:13.3333px;line-height:1.5">Marcel</span></div></div><br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div></div></div>