[CakeML-dev] Making parser produce location info

Magnus Myreen myreen at chalmers.se
Mon Jan 30 07:21:52 UTC 2017

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

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

More information about the Developers mailing list