[CakeML-dev] env-refactor status

Michael.Norrish at data61.csiro.au Michael.Norrish at data61.csiro.au
Tue Feb 21 04:09:41 UTC 2017

I’ve been super-busy with other bits and pieces, but don’t mind seeing the parser proofs cheated if don’t want to block the merge.  I can fix them on master.  Compiler/parsing had better build if you actually want to run the parser. 


On 21/2/17, 14:19, "Ramana Kumar" <Ramana.Kumar at cl.cam.ac.uk> wrote:

    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
    Developers mailing list
    Developers at cakeml.org

More information about the Developers mailing list