<div dir="ltr">Ah, I stand corrected. Thanks!</div><br><div class="gmail_quote"><div dir="ltr">On Sun, Mar 19, 2017 at 10:46 PM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br class="gmail_msg">
<br class="gmail_msg">
no. A case in Haskell does not necessary force evaluation (in contrast to a case in Core).<br class="gmail_msg">
<br class="gmail_msg">
Greetings,<br class="gmail_msg">
Joachim<br class="gmail_msg">
<br class="gmail_msg">
Am 19. März 2017 16:24:18 EDT schrieb Oliver Charles <<a href="mailto:ollie@ocharles.org.uk" class="gmail_msg" target="_blank">ollie@ocharles.org.uk</a>>:<br class="gmail_msg">
>Is that "redundant case" actually acting like seq?<br class="gmail_msg">
><br class="gmail_msg">
>On Sun, Mar 19, 2017 at 7:39 PM Adam Bergmark <<a href="mailto:adam@bergmark.nl" class="gmail_msg" target="_blank">adam@bergmark.nl</a>> wrote:<br class="gmail_msg">
><br class="gmail_msg">
>> Thanks Joachim! I actually found a note about that in the aeson<br class="gmail_msg">
>sources so<br class="gmail_msg">
>> I'm using<br class="gmail_msg">
>><br class="gmail_msg">
>> ignore "Avoid lambda"<br class="gmail_msg">
>> ignore "Eta reduce"<br class="gmail_msg">
>><br class="gmail_msg">
>> Cheers,<br class="gmail_msg">
>> Adam<br class="gmail_msg">
>><br class="gmail_msg">
>><br class="gmail_msg">
>> On Sun, 19 Mar 2017 at 17:34 Joachim Breitner<br class="gmail_msg">
><<a href="mailto:mail@joachim-breitner.de" class="gmail_msg" target="_blank">mail@joachim-breitner.de</a>><br class="gmail_msg">
>> wrote:<br class="gmail_msg">
>><br class="gmail_msg">
>> Hi,<br class="gmail_msg">
>><br class="gmail_msg">
>> Am Sonntag, den 19.03.2017, 16:19 +0000 schrieb Adam Bergmark:<br class="gmail_msg">
>> > The best way to find an answer to this for aeson is of course to<br class="gmail_msg">
>run<br class="gmail_msg">
>> > the benchmarks, but are there any rules-of-thumb that you take into<br class="gmail_msg">
>> > account when linting?<br class="gmail_msg">
>><br class="gmail_msg">
>> eta-reduction can increase sharing but can also increase the cost of<br class="gmail_msg">
>a<br class="gmail_msg">
>> function call, so that’s something to be careful about.<br class="gmail_msg">
>><br class="gmail_msg">
>> Greetings,<br class="gmail_msg">
>> Joachim<br class="gmail_msg">
>> --<br class="gmail_msg">
>> Joachim Breitner<br class="gmail_msg">
>>   <a href="mailto:mail@joachim-breitner.de" class="gmail_msg" target="_blank">mail@joachim-breitner.de</a><br class="gmail_msg">
>>   <a href="http://www.joachim-breitner.de/" rel="noreferrer" class="gmail_msg" target="_blank">http://www.joachim-breitner.de/</a><br class="gmail_msg">
>> _______________________________________________<br class="gmail_msg">
>> Haskell-Cafe mailing list<br class="gmail_msg">
>> To (un)subscribe, modify options or view archives go to:<br class="gmail_msg">
>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" class="gmail_msg" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br class="gmail_msg">
>> Only members subscribed via the mailman list are allowed to post.<br class="gmail_msg">
>><br class="gmail_msg">
>> _______________________________________________<br class="gmail_msg">
>> Haskell-Cafe mailing list<br class="gmail_msg">
>> To (un)subscribe, modify options or view archives go to:<br class="gmail_msg">
>> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" class="gmail_msg" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br class="gmail_msg">
>> Only members subscribed via the mailman list are allowed to post.<br class="gmail_msg">
_______________________________________________<br class="gmail_msg">
Haskell-Cafe mailing list<br class="gmail_msg">
To (un)subscribe, modify options or view archives go to:<br class="gmail_msg">
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" class="gmail_msg" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br class="gmail_msg">
Only members subscribed via the mailman list are allowed to post.</blockquote></div>