[CakeML-dev] Making parser produce location info

[Yong Kiam]

Hi Hugo,

I just want to mention that I added temporary MAP FSTs to lexer_fun in
5ea850 and a2af25 just to get the parser to accept the input, so look out
for those in case something breaks mysteriously for you.

On Mon, Jan 30, 2017 at 6:35 AM, Hugo Férée <H.Feree at kent.ac.uk> wrote:

> Hi Magnus,
>
> Location information (start and end) is already available in the lexer
> and I'm trying to figure out how to handle it in the parser but it
> shouldn't take more than a week or two.
>
> Best,
>
> Hugo
>
> Le 30/01/2017 à 07:21, Magnus Myreen a écrit :
> > Hi Michael and Hugo,
> >
> > I understand that you are adding location info to the output of the
> > parser. When do you think this feature will be available? I'm asking
> > because the BSc students working on the new compiler explorer will need
> > this within a week or two.
> >
> > Note: they will need start and end locations rather than just point
> > coordinates.
> >
> > Cheers,
> > Magnus
>
> _______________________________________________
> 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/20170130/2f260ae7/attachment.html>