<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Hi,</p>
<p>
<blockquote type="cite">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 :-)</blockquote>
A few weeks ago I worked on a similar tool. I have just uploaded a
demo: <a class="moz-txt-link-freetext" href="https://www.youtube.com/watch?v=sPu5UOYPKUw">https://www.youtube.com/watch?v=sPu5UOYPKUw</a> (it still needs
a lot of work).<br>
</p>
<p>It would be great to have a better core renderer like you did at
some point (currently it just highlights it).</p>
<p>Sylvain<br>
</p>
<br>
<div class="moz-cite-prefix">On 13/01/2017 00:30, Iavor Diatchki
wrote:<br>
</div>
<blockquote
cite="mid:CAGK9nupX3y1DVj-Y=PMd03gDt25MDzJdwGLE+xP30Sn0PDvEMA@mail.gmail.com"
type="cite">
<div dir="ltr">Hello,
<div><br>
</div>
<div>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?).</div>
<div><br>
</div>
<div>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.</div>
<div><br>
</div>
<div>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 :-)</div>
<div><br>
</div>
<div>-Iavor</div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Thu, Jan 12, 2017 at 2:58 PM,
Joachim Breitner <span dir="ltr"><<a
moz-do-not-send="true"
href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span>
wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Am Donnerstag, den 12.01.2017, 14:18 -0800 schrieb Iavor
Diatchki:<br>
> <a moz-do-not-send="true"
href="http://yav.github.io/dump-core/example-output/Galua.OpcodeInterpreter"
rel="noreferrer" target="_blank">http://yav.github.io/dump-<wbr>core/example-output/Galua.<wbr>OpcodeInterpreter</a><br>
> .html<br>
<br>
this is amazing! It should in no way sound diminishing if I
say that I<br>
always wanted to create something like that (and I am sure I
am not the<br>
online one who will say that :-)).<br>
<br>
Can your tool step forward and backward between dumps from
different<br>
phases, correlating the corresponding entries?<br>
<br>
Thanks,<br>
Joachim<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Joachim “nomeata” Breitner<br>
<a moz-do-not-send="true"
href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>
• <a moz-do-not-send="true"
href="https://www.joachim-breitner.de/"
rel="noreferrer" target="_blank">https://www.joachim-breitner.<wbr>de/</a><br>
XMPP: <a moz-do-not-send="true"
href="mailto:nomeata@joachim-breitner.de">nomeata@joachim-breitner.de</a> •
OpenPGP-Key: 0xF0FBF51F<br>
Debian Developer: <a moz-do-not-send="true"
href="mailto:nomeata@debian.org">nomeata@debian.org</a></font></span><br>
______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a moz-do-not-send="true" href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a moz-do-not-send="true"
href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs"
rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
<br>
</blockquote>
</div>
<br>
</div>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
ghc-devs mailing list
<a class="moz-txt-link-abbreviated" href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a>
<a class="moz-txt-link-freetext" href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a>
</pre>
</blockquote>
<br>
</body>
</html>