[CakeML-dev] LEX_ERROR failures on master

[Ramana Kumar]

It's probably because there are some leftover generated files that didn't
finish getting written. If you clean everything the problem will probably
go away. Alternatively you could try deleting the files that cause the
LEX_ERRORs.

On 23 March 2017 at 00:22, Armaël Guéneau <armael.gueneau at ens-lyon.fr>
wrote:

> Hum, just after sending the previous email I realized I hadn't updated
> hol. However, trying to build the latest hol also produced a similar
> failure:
>
> Holdep exception: LEX_ERROR "selftest.sml 5.23 '.'-whitespace unexpected"
>
> (I re-ran bin/build and it eventually went through, but eh..)
>
> Also I still get the same kind of failures in cakeml with the new hol.
>
> On 22/03/2017 13:49, Armaël Guéneau wrote:
> > Hi dev,
> >
> > I just run "cd characteristic && Holmake" on a fresh clone of master,
> > and got the following failure:
> >
> > Holmake failed with exception: LEX_ERROR "gramScript.sml 186.33
> > '.'-whitespace unexpected"
> >
> > I re-ran Holmake, got this time:
> >
> > Holmake failed with exception: LEX_ERROR "tokenUtilsScript.sml 76.42
> > '.'-whitespace unexpected"
> >
> > Then I re-ran Holmake a third time, and it finally went through.
> >
> > Not sure what is happening, but I thought I'd mention it on the list.
> > Maybe a parallelisation issue?
> >
> > — Armaël
> >
> > _______________________________________________
> > Developers mailing list
> > Developers at cakeml.org
> > https://lists.cakeml.org/listinfo/developers
> >
>
> _______________________________________________
> 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/20170323/5ac3e61d/attachment.html>