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
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
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
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 <