SPECIALISE INLINE pragma

[Matthew Pickering]

The user guide says that "you can make GHC diverge by using SPECIALISE
INLINE on an ordinarily-recursive function."

Does anyone know the ticket or technique which causes this to happen?

https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#specialize-inline


On the same topic, I also wrote a blog post simply explaining the
essential things to know
about the inliner and specialiser as I don't think they are generally
appreciated. Comments welcome!

http://mpickering.github.io/posts/2017-03-20-inlining-and-specialisation.html

Matt