<div dir="ltr"><div>The translation is now past the major stuff that changed (I think), so it should be hopefully done soon.<br><br></div><div>I'm investigating a pmatch translation failure of known_op<br></div><div><br></div>I haven't tried translating with the parser on the head of the PR on HOL though.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Feb 13, 2017 at 1:30 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 all,<br>
<br>
I'd like to collect the list of problems with the env-refactor branch,<br>
that are stopping it from getting merged, and see who's working on<br>
them. So far, these are the ones I know about:<br>
<br>
- compiler/parsing/proofs/*: nobody?<br>
<br>
- compiler/bootstrap/<wbr>translation/*: Yong Kiam?<br>
<br>
- compiler/bootstrap/evaluation/<wbr>* (untested): nobody?<br>
<br>
I added a page on the wiki with some suggested assignments of people<br>
to tasks. If you know of other problems, or want to work on fixing one<br>
of them, update the wiki.<br>
<br>
<a href="https://wiki.cakeml.org/env-refactor" rel="noreferrer" target="_blank">https://wiki.cakeml.org/env-<wbr>refactor</a><br>
<br>
Cheers,<br>
Ramana<br>
<br>
______________________________<wbr>_________________<br>
Developers mailing list<br>
<a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
</blockquote></div><br></div>