Re: SPECIALISE INLINE pragma

Thanks Simon. I made a page for it here - https://wiki.haskell.org/Inlining_and_Specialisation Matt On Wed, Mar 22, 2017 at 10:50 AM, Simon Peyton Jones wrote:

| 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 | Subject: SPECIALISE INLINE pragma | | 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/glasgo | w_exts.html#specialize-inline | | | | Matt | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs