A related question I have is that I&#39;ve some code that will map the singleton Nats to Ints, and last time I looked into this/ had a chat on the ghc-users list, it sounded like sometimes having Integer values constructed in between are unavoidable. ┬áIs that still the case with post 7.6.1 ghc? (And or, how might I be able to help?<span></span>)<br>
<br>On Friday, December 14, 2012, Ian Lynagh  wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Fri, Dec 14, 2012 at 12:53:36PM -0800, Johan Tibell wrote:<br>

&gt;<br>
&gt; I&#39;ve been tracking down a few (unrelated) performance bugs related to<br>
&gt; conversions between primitive types. What these issues had in common<br>
&gt; is that some rule failed to fire and the conversion went via Integer,<br>
&gt; killing performance. How do we best write a test that make sure that<br>
&gt; fromIntegral conversions between these types don&#39;t regress? Is it<br>
&gt; possible to test the output of the simplifier or do we have to do<br>
&gt; something less direct, like writing a loop that does such conversions<br>
&gt; and make sure that the allocation stay low?<br>
<br>
We have some tests looking at the -ddumjp-simpl output, e.g.<br>
integerConstantFolding. I&#39;m not sure if we have one for type conversions<br>
OTTOMH.<br>
<br>
<br>
Thanks<br>
Ian<br>
<br>
<br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="javascript:;" onclick="_e(event, &#39;cvml&#39;, &#39;Glasgow-haskell-users@haskell.org&#39;)">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
</blockquote>