concrete functor and monad transformers
#57Make functions inlinable
When i compile with -Wmissed-specialisations
actually indirectly by compiling with -Weverything
i get the following warnings:
src/Main.hs: warning:
Could not specialise imported function ‘Control.Monad.Trans.Reader.$fApplicativeReaderT_$cliftA2’
when specialising ‘Control.Monad.Trans.Reader.$fApplicativeReaderT’
when specialising ‘Control.Monad.Trans.Reader.$fMonadReaderT_$cp1Monad’
when specialising ‘Control.Monad.Trans.Reader.$fMonadReaderT’
when specialising ‘Control.Monad.Reader.Class.$fMonadReaderrReaderT’
Probable fix: add INLINABLE pragma on ‘Control.Monad.Trans.Reader.$fApplicativeReaderT_$cliftA2’
I think there is a missed optimization here. The inlinable pragma should be added in the module which export these functions.