[CakeML-dev] env-refactor status

Yong Kiam tanyongkiam at gmail.com
Mon Feb 13 21:34:38 UTC 2017

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

On Mon, Feb 13, 2017 at 1:30 AM, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk>

> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170213/1ef59fd8/attachment.html>

More information about the Developers mailing list