[CakeML-dev] Location info in source and IL ASTs

[Michael.Norrish at data61.csiro.au]

I’d certainly like to discuss this.  That time is fine.

Can you make a calendar-hangout invite?

Michael

On 11/1/17, 07:21, "Magnus Myreen" <magnus.myreen at gmail.com> wrote:

    It makes sense to try to include Michael in the hangout as source
    locations are very much relevant for parsing and parser error
    messages. I suggest we invite the BSc students to the hangout. Others
    are also welcome to join the hangout.
    
    How about the following time:
    
    https://www.timeanddate.com/worldclock/converter.html?iso=20170118T100000&p1=240&p2=2434&p3=291
    
    Cheers,
    Magnus
    
    On 11 January 2017 at 01:51, Scott Owens <S.A.Owens at kent.ac.uk> wrote:
    > I propose that we have a hangout next week (at sociable hours in the UK and Sweden) to chat about this, with at least Magnus, Hugo, and me. The students too if Magnus thinks it would be useful.
    >
    > Scott
    >
    >> On 2017/01/05, at 21:07, Magnus Myreen <myreen at chalmers.se> wrote:
    >>
    >> Hi all,
    >>
    >> During the last CakeML meeting (see notes at
    >> https://wiki.cakeml.org/Meetings), we discussed adding location info
    >> to the CakeML ASTs. Location info would be added to the source AST,
    >> and all intermediate language ASTs where for efficiency it would be an
    >> option type.
    >>
    >> The immediate purpose of this is to support the new compiler explorer
    >> so that one can reliably track where some piece of generated code came
    >> from in the previous IL and what it becomes in the next IL.
    >>
    >> An added bonus is that we can make the parser (and type inferencer?)
    >> provide error locations.
    >>
    >> The new compiler explorer project will kick off on 17 Jan 2017, and
    >> soon thereafter I expect the students will want to start playing with
    >> location information. This would be done from env-refactor, if that
    >> hasn't been merged into master by then. I hope it will be merged by
    >> then.
    >>
    >> Comments?
    >>
    >> Cheers,
    >> Magnus
    >>
    >> _______________________________________________
    >> Developers mailing list
    >> Developers at cakeml.org
    >> https://lists.cakeml.org/listinfo/developers
    >