[CakeML-dev] LEX_ERROR failures on master

[Armaël Guéneau]

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