[CakeML-dev] env-refactor status
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.
> Developers mailing list
> Developers at cakeml.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Developers