[CakeML-dev] Making parser produce location info

[Magnus Myreen]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170130/7a9a1375/attachment.html>