[CakeML-dev] Making parser produce location info

Hugo Férée H.Feree at kent.ac.uk
Mon Jan 30 11:35:56 UTC 2017

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.



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

More information about the Developers mailing list