| 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
Fantastic work Matthew.
Might you put in the "Collaborative documentation" section of the Haskell wiki? https://wiki.haskell.org/GHC
That way others could help edit/maintain/extend it. I have quite a few suggestions, but most are easier just to execute than to send you suggested deltas.
| The user guide says that "you can make GHC diverge by using SPECIALISE
| INLINE on an ordinarily-recursive function."
Suppose you have
f x = ...(f [x])...
Now I think SPECIALISE INLINE might go on for ever, making more and more specialised copies. At least I think that's it. Making a concrete example and putting that in the manual would be great.
Simon
| -----Original Message-----
| From: ghc-devs [mailto:ghc-devs-bounces@haskell.org] On Behalf Of
| Matthew Pickering
| Sent: 20 March 2017 15:52
| To: GHC developers