<div dir="ltr">That's a really interesting idea, thanks for linking it.</div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 20, 2018 at 9:43 PM, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<span class=""><br>
Am Dienstag, den 20.02.2018, 17:56 -0500 schrieb Gregory Collins:<br>
> You mean like this? <a href="https://github.com/gregorycollins/hashtables/blob/master/src/Data/HashTable/Internal/UnsafeTricks.hs#L72" rel="noreferrer" target="_blank">https://github.com/<wbr>gregorycollins/hashtables/<wbr>blob/master/src/Data/<wbr>HashTable/Internal/<wbr>UnsafeTricks.hs#L72</a><br>
><br>
> My experience is that this works, except when doing coverage, where the compiler adds instrumentation code that breaks the technique. I #ifdef'd my way around the problem, swapping out a slower impl when I was doing code coverage.<br>
<br>
</span>it seems that in this case,<br>
<a href="https://ghc.haskell.org/trac/ghc/ticket/14826" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/<wbr>ghc/ticket/14826</a><br>
would very much apply, wouldn’t it?<br>
<br>
Cheers,<br>
Joachim<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.<wbr>de/</a><br>
</font></span><br>______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.<br></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Gregory Collins <<a href="mailto:greg@gregorycollins.net" target="_blank">greg@gregorycollins.net</a>></div>
</div>