[CakeML-dev] LEX_ERROR failures on master

[Armaël Guéneau]

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
>