Yes, thanks Sean for helping clarify! <div>yes, The TypeLits Nat</div><div><br></div><div>I had a discussion on the list with Iavor and others a few months back </div><div><a href="http://www.haskell.org/pipermail/glasgow-haskell-users/2012-August/022789.html" target="_blank">http://www.haskell.org/pipermail/glasgow-haskell-users/2012-August/022789.html</a></div>


<div><br></div><div>and there were some examples and dialogue beyond that with Iavor and SPJ, but it was off list. </div><div><br></div><div>point being: for Word or Int sized instances of Nat singleton, theres a number of interesting ways having that information used to statically specialize a numerical computation with some constants is handy, and last time I asked it sounded like the story for this wasn&#39;t fully worked out.</div>

<div><br></div><div>I hope I&#39;m explaining clearly, if not I&#39;ll be happy to try to elaborate further</div><div><br></div><div>-Carter</div><div><br></div><div><br></div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Dec 14, 2012 at 5:12 PM, Sean Leather <span dir="ltr">&lt;<a href="mailto:leather@cs.uu.nl" target="_blank">leather@cs.uu.nl</a>&gt;</span> 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 10:47 PM, Ian Lynagh wrote:<div><div class="h5"><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>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></div><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" target="_blank">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>
<br>_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto: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>
<br></blockquote></div><br></div>