Re: Question about specialization

2021-09-06 Thread Harendra Kumar
I am in the middle of a refactor. I will file a ticket once I am done. On Mon, 6 Sept 2021 at 20:17, Simon Peyton Jones wrote: > Harendra > > > > That comes as a surprise to me. Could you possibly make a repo case, and > say what version of the compiler does, and does not, specialise the > func

Re: New implementation for `ImpredicativeTypes`

2021-09-06 Thread John Ericson
On 9/2/21 11:04 PM, Richard Eisenberg wrote: On Sep 2, 2021, at 2:56 PM, john.ericson mailto:john.ericson@obsidian.systems>> wrote: Does the most basic e.g. newtype Some f where   MkSome :: forall a. f a -> Some f Have one of those problematic equalities? No. That's not a GADT -- the cons

RE: Question about specialization

2021-09-06 Thread Simon Peyton Jones via ghc-devs
Harendra That comes as a surprise to me. Could you possibly make a repo case, and say what version of the compiler does, and does not, specialise the function? File it as a ticket … to me it looks like a bug. Thanks Simon From: ghc-devs On Behalf Of Harendra Kumar Sent: 06 September 2021 14

Question about specialization

2021-09-06 Thread Harendra Kumar
Hi GHC devs, I have a simple program using the streamly library, as follows, the whole code is in the same module: {-# INLINE iterateState #-} {-# SPECIALIZE iterateState :: Int -> SerialT (StateT Int IO) Int #-} iterateState :: MonadState Int m => Int -> SerialT m Int iterateState n = do x <