I’m not sure about the pragma debugging, but are you using it in point free style? Cause I’m that case it may not be inclined because it’s not being fully applied on the left hand side?

On Wed, Aug 4, 2021 at 11:36 AM Michael Sperber <sperber@deinprogramm.de> wrote:

I'm trying to figure out why this function from ConCat.AltCat is not
getting inlined:

(&&&) :: forall k a c d. (MProductCat k, Ok3 k a c d)
      => (a `k` c) -> (a `k` d) -> (a `k` Prod k c d)
f &&& g = (f *** g) . dup
  <+ okProd @k @a @a
  <+ okProd @k @c @d
{-# INLINE (&&&) #-}

So I put

{-# OPTIONS_GHC -dinline-check ConCat.AltCat.&&& #-}

in the importing module.  Alas, I'm getting no output on &&&.  I can get
output from lots of other functions - I'm guessing it might be because
of the name.

Could somebody help me enable the inline check?  Would be much
appreciated!

--
Regards,
Mike

_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users