<div dir="auto"><div><div dir="auto">(Cc'ing developers)</div><div dir="auto"><br></div>The parmap code is already generic and in miscLib. I think it would be good to define a compset fragment for each phase of the backend, e.g. compiler/backend/stack_to_labComputeLib.sml, so we can proceed incrementally in breaking up the giant compilerComputeLib.sml while also making the individual libs smarter in how they evaluate the compiler (using custom conversions and parallelism for example).<br><div class="gmail_extra"><br><div class="gmail_quote">On 16 Feb 2017 9:08 am, "Yong Kiam" <<a href="mailto:tanyongkiam@gmail.com">tanyongkiam@gmail.com</a>> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>I'm now done with the env-refactor translation (at least, until parsing gets fixed). I'll try and pull out your parallel code tomorrow if you haven't already got to it by then.<br></div></div><div class="elided-text"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 15, 2017 at 12:53 AM, Yong Kiam <span dir="ltr"><<a href="mailto:tanyongkiam@gmail.com" target="_blank">tanyongkiam@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Yeah, I wasn't planning on doing the move until env-refactor was done.<div><br></div><div>Also, I was going to say that we definitely should factor out the parallel evaluation from the bootstrap to use here instead of my existing compilation machinery.</div><div><br></div><div>It takes upwards of 10mins to compile a single program with the basis included.</div><div><br></div><div>I'm still on the parsing PR for HOL, but I expect to finish fixing the translation tomorrow, then I can switch to basis and help with the move and tweaks.</div></div><div class="m_7035674558063177744HOEnZb"><div class="m_7035674558063177744h5"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Feb 15, 2017 at 12:47 AM, Ramana Kumar <span dir="ltr"><<a href="mailto:Ramana.Kumar@cl.cam.ac.uk" target="_blank">Ramana.Kumar@cl.cam.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Yong Kiam,<br>
<br>
As I mentioned, Connor is looking into evaluating the compiler in the<br>
logic on the echo program on the basis branch. We just merged master<br>
into basis and will start work on this in<br>
characteristic/examples/compil<wbr>ation. The plan is to copy your to_bytes<br>
function from benchmarks and tweak as necessary. Does this sound<br>
reasonable?<br>
<br>
There are a few improvements one could imagine trying too:<br>
  - rather than copy to_bytes, put it in a reusable library<br>
  - make the compset a bit smarter, so it does some evaluations in<br>
parallel (like the bootstrap)<br>
<br>
I know we had planned to reorganise (and delete) the eval directory.<br>
I'm a little hesitant to do this while we're still waiting on<br>
env-refactor to merge, in case it makes the merge harder than it needs<br>
to be.<br>
<br>
Cheers,<br>
Ramana<br>
</blockquote></div><br></div>
</div></div></blockquote></div><br></div>
</div></blockquote></div><br></div></div></div>