How do we best make sure {Int,Word,Float,Double} to {Int,Word,Float,Double} conversions stay efficient

[Simon Peyton-Jones]

Best thing to do is to produce a concrete example, showing the code you think is sub-optimal

Simon

From: glasgow-haskell-users-bounces at haskell.org [mailto:glasgow-haskell-users-bounces at haskell.org] On Behalf Of Sean Leather
Sent: 14 December 2012 22:13
To: GHC Users List; Ian Lynagh
Subject: Re: How do we best make sure {Int,Word,Float,Double} to {Int,Word,Float,Double} conversions stay efficient

On Fri, Dec 14, 2012 at 10:47 PM, Ian Lynagh wrote:
On Fri, Dec 14, 2012 at 04:34:29PM -0500, Carter Schonwald wrote:
> 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?)
I don't know what a singleton Nat is, but if you mean Word then that's
what Johan's been working on.

I'm guessing Carter means Sing Nat:
http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.6.0.0/src/GHC-TypeLits.html

Regards,
Sean
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20121217/2ac09961/attachment.htm>