<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On 24 February 2017 at 11:25, Jeff Clites <span dir="ltr"><<a href="mailto:jclites@mac.com" target="_blank">jclites@mac.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><span class=""><div></div><div>On Feb 23, 2017, at 9:49 PM, Brandon Allbery <<a href="mailto:allbery.b@gmail.com" target="_blank">allbery.b@gmail.com</a>> wrote:<br><br></div><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Feb 24, 2017 at 12:38 AM, Harendra Kumar <span dir="ltr"><<a href="mailto:harendra.kumar@gmail.com" target="_blank">harendra.kumar@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">In these examples, we can identify the constructor (capitalized first letter) on the LHS and so we are trained to know that it is a pattern match. The original point related to number specialness was that "1 = 2" is not easily identifiable as a pattern match because there are no explicit constructors. The literal "1" here is neither an "explicit constructor" nor a binding symbol.</blockquote></div><br>Yes, at this point you just have to know that the Report specifies a bunch of special handling for numeric literals.<div class="m_2454834445667368485gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div></div></div></div>
</div></div>
</blockquote><br></span><div>Also:  "day" = "night"</div><div><br></div><div>Isn't every "=" a pattern match?</div></div></blockquote><div><br></div><div>Every "=" with a constructor on the LHS. String is also a special case similar to numeric literals. The above example should be equivalent to:</div><div><br></div><div>'d' : 'a' : 'y' : [] = "night"</div><div><br></div><div>-harendra</div></div></div></div>