`dump-core` a prettier GHC core viewer

Sylvain Henry sylvain at haskus.fr
Fri Jan 13 01:01:58 UTC 2017


Hi,

> It would be awesome to have a more clever tool that helps further with 
> these sorts of low level optimizations---at present I find it to be a 
> rather unpleasant task and so avoid it when I can :-)
A few weeks ago I worked on a similar tool. I have just uploaded a demo: 
https://www.youtube.com/watch?v=sPu5UOYPKUw (it still needs a lot of work).

It would be great to have a better core renderer like you did at some 
point (currently it just highlights it).

Sylvain


On 13/01/2017 00:30, Iavor Diatchki wrote:
> Hello,
>
> not really, the plugin does not do anything clever---it simply walks 
> over the GHC core and renders whatever it deems necessary to JSON.  
> The only extra bits it does is to make the unique names globally 
> unique (I thought GHC already did that, but apparently not, perhaps 
> that happens during tidying?).
>
> I was thinking of trying to do something like this across compilations 
> (i.e., where you keep a history of all the files to compare how your 
> changes to the source affected the core), but it hadn't occurred to me 
> to try to do it for each phase. Please file a ticket, or even better 
> if you have the time please feel free to hack on it.  I was just 
> finding myself staring at a lot of core, and wanted something a little 
> easier to read, but with all/most of the information still available.
>
> It would be awesome to have a more clever tool that helps further with 
> these sorts of low level optimizations---at present I find it to be a 
> rather unpleasant task and so avoid it when I can :-)
>
> -Iavor
>
>
>
>
>
>
>
>
>
>
> On Thu, Jan 12, 2017 at 2:58 PM, Joachim Breitner 
> <mail at joachim-breitner.de <mailto:mail at joachim-breitner.de>> wrote:
>
>     Hi,
>
>     Am Donnerstag, den 12.01.2017, 14:18 -0800 schrieb Iavor Diatchki:
>     >
>     http://yav.github.io/dump-core/example-output/Galua.OpcodeInterpreter
>     <http://yav.github.io/dump-core/example-output/Galua.OpcodeInterpreter>
>     > .html
>
>     this is amazing! It should in no way sound diminishing if I say that I
>     always wanted to create something like that (and I am sure I am
>     not the
>     online one who will say that :-)).
>
>     Can your tool step forward and backward between dumps from different
>     phases, correlating the corresponding entries?
>
>     Thanks,
>     Joachim
>
>     --
>     Joachim “nomeata” Breitner
>     mail at joachim-breitner.de <mailto:mail at joachim-breitner.de> •
>     https://www.joachim-breitner.de/ <https://www.joachim-breitner.de/>
>       XMPP: nomeata at joachim-breitner.de
>     <mailto:nomeata at joachim-breitner.de> • OpenPGP-Key: 0xF0FBF51F
>       Debian Developer: nomeata at debian.org <mailto:nomeata at debian.org>
>     _______________________________________________
>     ghc-devs mailing list
>     ghc-devs at haskell.org <mailto:ghc-devs at haskell.org>
>     http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>     <http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs>
>
>
>
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170113/056b105e/attachment-0001.html>


More information about the ghc-devs mailing list