[CakeML-dev] LEX_ERROR failures on master
armael.gueneau at ens-lyon.fr
Wed Mar 22 12:49:54 UTC 2017
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
I re-ran Holmake, got this time:
Holmake failed with exception: LEX_ERROR "tokenUtilsScript.sml 76.42
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?
More information about the Developers