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 <simo...@microsoft.com>
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
> function?
>
>
>
> File it as a ticket … to me it looks like a bug.
>
>
>
> Thanks
>
>
>
> Simon
>
>
>
> *From:* ghc-devs <ghc-devs-boun...@haskell.org> *On Behalf Of *Harendra
> Kumar
> *Sent:* 06 September 2021 14:11
> *To:* ghc-devs@haskell.org
> *Subject:* Question about specialization
>
>
>
> 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 <- get
> if x > n
> then do
> put (x - 1)
> iterateState n
> else return x
>
>
>
> main :: IO ()
> main = do
> State.evalStateT (S.drain (iterateState 0)) 100000
>
>
>
> Earlier the SPECIALIZE pragma was not required on iterateState, but after
> some refactoring in the library (the monad bind of SerialT changed a bit),
> this program now requires a SPECIALIZE on iterateState to trigger
> specialization, just INLINE also does not help.
>
>
>
> My question is whether this may be expected in some conditions or is this
> something which can be considered a bug in the compiler? I am also curious
> what specifically could have made the compiler not specialize this anymore,
> is it the size of the function or some other threshold?
>
>
>
> Thanks,
>
> Harendra
>
>
>
>
>
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
