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

 

Simon

 

From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users-bounces@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