A related question I have is that I'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>
><br>
> I've been tracking down a few (unrelated) performance bugs related to<br>
> conversions between primitive types. What these issues had in common<br>
> is that some rule failed to fire and the conversion went via Integer,<br>
> killing performance. How do we best write a test that make sure that<br>
> fromIntegral conversions between these types don't regress? Is it<br>
> possible to test the output of the simplifier or do we have to do<br>
> something less direct, like writing a loop that does such conversions<br>
> 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'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, 'cvml', 'Glasgow-haskell-users@haskell.org')">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>