<div dir="auto">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?</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Aug 4, 2021 at 11:36 AM Michael Sperber <<a href="mailto:sperber@deinprogramm.de">sperber@deinprogramm.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><br>
I'm trying to figure out why this function from ConCat.AltCat is not<br>
getting inlined:<br>
<br>
(&&&) :: forall k a c d. (MProductCat k, Ok3 k a c d)<br>
      => (a `k` c) -> (a `k` d) -> (a `k` Prod k c d)<br>
f &&& g = (f *** g) . dup<br>
  <+ okProd @k @a @a<br>
  <+ okProd @k @c @d<br>
{-# INLINE (&&&) #-}<br>
<br>
So I put<br>
<br>
{-# OPTIONS_GHC -dinline-check ConCat.AltCat.&&& #-}<br>
<br>
in the importing module.  Alas, I'm getting no output on &&&.  I can get<br>
output from lots of other functions - I'm guessing it might be because<br>
of the name.<br>
<br>
Could somebody help me enable the inline check?  Would be much<br>
appreciated!<br>
<br>
-- <br>
Regards,<br>
Mike<br>
<br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org" target="_blank">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a><br>
</blockquote></div></div>