| > {-# INLINE getInteger #-} | > getInteger = ... -- large definition that will be not inlined | > -- without pragma | > | > instance Binary Integer where | > get = getInteger A simpler version is
{-# INLINE getInteger #-} getInteger = ... -- large definition that will be not inlined -- without pragma
get = getInteger
Here, getInteger will be inlined in the RHS of get, but GHC doesn't see any reason that 'get' should be inlined. If you want that, add an INLINE pragma on get. The same thing should work in an instance decl, for the same reason, but I have not tried it recently. And, assuming it does work, it ought to be documented. If you check, and send me draft words, I'll add them to the user manual Simon