On Fri, Dec 14, 2012 at 10:47 PM, Ian Lynagh wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Fri, Dec 14, 2012 at 04:34:29PM -0500, Carter Schonwald wrote:<br>


&gt; A related question I have is that I&#39;ve some code that will map the<br>
&gt; singleton Nats to Ints, and last time I looked into this/ had a chat on the<br>
&gt; ghc-users list, it sounded like sometimes having Integer values constructed<br>
&gt; in between are unavoidable.  Is that still the case with post 7.6.1 ghc?<br>
&gt; (And or, how might I be able to help?)<br>
<br>
</div>I don&#39;t know what a singleton Nat is, but if you mean Word then that&#39;s<br>
what Johan&#39;s been working on.<br></blockquote><div></div></div><br><div>I&#39;m guessing Carter means Sing Nat:</div><div><a href="http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.6.0.0/src/GHC-TypeLits.html">http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.6.0.0/src/GHC-TypeLits.html</a></div>

<div><br></div><div>Regards,</div><div>Sean</div>