-dinline-check for symbolic names?

Carter Schonwald carter.schonwald at gmail.com
Wed Aug 4 15:51:24 UTC 2021


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 at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/glasgow-haskell-users/attachments/20210804/3eba820a/attachment.html>


More information about the Glasgow-haskell-users mailing list