[CakeML-dev] Location info in source and IL ASTs
magnus.myreen at gmail.com
Tue Jan 10 20:21:11 UTC 2017
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:
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.
>> 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
>> Developers mailing list
>> Developers at cakeml.org
More information about the Developers