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 _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs