<div dir="ltr">I can't imagine that you actually believed <span style="font-size:13.1999998092651px;line-height:19.7999992370605px">in good faith</span> that I would be confused about whether a Haskell compiler would contain a Haskell parser.<br></div><br><div class="gmail_quote"><div dir="ltr">On Mon, Jun 8, 2015 at 12:31 PM Mike Meyer <<a href="mailto:mwm@mired.org">mwm@mired.org</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">My apologies if I came off as rude. That was not my intent.</div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jun 8, 2015 at 2:28 PM, Rein Henrichs <span dir="ltr"><<a href="mailto:rein.henrichs@gmail.com" target="_blank">rein.henrichs@gmail.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="ltr"><div>You said,</div><div><br></div>> <span style="font-size:13.1999998092651px;line-height:19.7999992370605px">s mp $ n - 1 parses as s mp (n - 1)</span><div style="font-size:13.1999998092651px;line-height:19.7999992370605px">> s mp n - 1 parses as (s mp n) - 1</div><div style="font-size:13.1999998092651px;line-height:19.7999992370605px"><br></div><div style="font-size:13.1999998092651px;line-height:19.7999992370605px">This is not how they parse. This is how they *evaluate*. A description of how they *parse* would have included the ($) token in a parse tree.</div><div style="font-size:13.1999998092651px;line-height:19.7999992370605px"><br></div><div style="font-size:13.1999998092651px;line-height:19.7999992370605px">This mistake is what lead to our confusion and your rudeness hasn't helped to clarify things. Rather than pretending that we're idiots for not understanding what you meant, it would have been better if you had just said what you meant.</div></div><br><div class="gmail_quote"><div dir="ltr">On Mon, Jun 8, 2015 at 12:18 PM Mike Meyer <<a href="mailto:mwm@mired.org" target="_blank">mwm@mired.org</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>The OP's problem wasn't with the semantics of $. The OP's problem was that the two expression had different parse trees that gave him different results when evaluated. So not only was there parsing happening here, but it was the root cause of his confusion.<br></div><div><br></div><div>Given that the output of GHC's parser was the cause of the confusion, I couldn't think of anything else you might have meant that made sense in context.</div></div><div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jun 8, 2015 at 2:06 PM, Rein Henrichs <span dir="ltr"><<a href="mailto:rein.henrichs@gmail.com" target="_blank">rein.henrichs@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">Of course not. What a silly thing to suggest. <span style="font-size:13.1999998092651px;line-height:19.7999992370605px">I'm saying that parsing is not relevant to the behavior of ($). The parser can't tell the *semantic* difference between $ and any other operator.</span></div><div class="gmail_quote"><div dir="ltr">On Mon, Jun 8, 2015 at 11:02 AM Mike Meyer <<a href="mailto:mwm@mired.org" target="_blank">mwm@mired.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">Are you saying that GHC doesn't have a haskell parser?</div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Jun 8, 2015 at 12:06 PM, Rein Henrichs <span dir="ltr"><<a href="mailto:rein.henrichs@gmail.com" target="_blank">rein.henrichs@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">The point is that there is no parsing happening here. Just evaluation. </div></blockquote></div></div></div></blockquote></div></blockquote></div></div></div><div dir="ltr"></div>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
</blockquote></div>
<br>_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
<br></blockquote></div><br></div>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
</blockquote></div>