[CakeML-dev] env-refactor status

[Ramana Kumar]

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.

Cheers,
Ramana



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
>
>