[CakeML-dev] env-refactor status

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Tue Feb 21 03:19:02 UTC 2017

Hi Michael, Hugo, Yong Kiam,

If there has been progress on this, I encourage you to update the
wiki: https://wiki.cakeml.org/env-refactor

My current snapshot understanding is:
- compiler/bootstrap/translation is probably done, Yong Kiam is
running it to test
- compiler/parsing/proofs is still broken
- compiler/parsing - unknown?

Yong Kiam suggests (and I agree) that we cheat the parsing proofs to
facilitate the merge, if they are looking to take a while and are the
only blocker.


On 14 February 2017 at 08:34, Yong Kiam <tanyongkiam at gmail.com> wrote:
> The translation is now past the major stuff that changed (I think), so it
> should be hopefully done soon.
> I'm investigating a pmatch translation failure of known_op
> I haven't tried translating with the parser on the head of the PR on HOL
> though.
> On Mon, Feb 13, 2017 at 1:30 AM, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk>
> wrote:
>> Hi all,
>> I'd like to collect the list of problems with the env-refactor branch,
>> that are stopping it from getting merged, and see who's working on
>> them. So far, these are the ones I know about:
>> - compiler/parsing/proofs/*: nobody?
>> - compiler/bootstrap/translation/*: Yong Kiam?
>> - compiler/bootstrap/evaluation/* (untested): nobody?
>> I added a page on the wiki with some suggested assignments of people
>> to tasks. If you know of other problems, or want to work on fixing one
>> of them, update the wiki.
>> https://wiki.cakeml.org/env-refactor
>> Cheers,
>> Ramana
>> _______________________________________________
>> Developers mailing list
>> Developers at cakeml.org
>> https://lists.cakeml.org/listinfo/developers

More information about the Developers mailing list