Job 2667

CakeML:b562031a45762ae7bdef8c1a2f02c4660d33b65e
  Fix typo in parse error handling code [Oct 18 08:35:54]
#1073 (pan_parseErrFix)
Merging into:91770b88be32b8bb339dc4ce1af103de0f708ba0
  Add timestamps to output [Oct 18 21:20:24]
HOL:07c84bff2b89ddb2c81c57884f4141bbc37accdb
  Fix cv_compute regression test to cope with case-sensitive files [Oct 15 03:20:04]
Machine:lammmington

Oct 18 21:31:27 Claimed job
Oct 18 21:31:31 Reusing HOL
Oct 18 21:31:43 Starting developers
Oct 18 21:31:46 FAILED: developers
readme_gen                                                          (1s)     OK
Starting work on README.md
README.md                                                           (2s)FAIL<1>
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/backend/x64/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/benchmarks
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/benchmarks/cakeml_benchmarks/cakeml
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/benchmarks/mlton_benchmarks/cakeml
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/bootstrap/compilation/ag32/32
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/bootstrap/compilation/ag32/32/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/bootstrap/compilation/arm8/64
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/bootstrap/compilation/arm8/64/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/bootstrap/compilation/x64/32
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/bootstrap/compilation/x64/32/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/bootstrap/compilation/x64/64
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/bootstrap/compilation/x64/64/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/bootstrap/translation
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/dafny
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/dafny/compilation
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/dafny/semantics
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/dafny/translation
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/ag32
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/ag32/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/arm7
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/arm7/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/arm8
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/arm8/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/arm8_asl
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/arm8_asl/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/asm
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/mips
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/mips/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/monadic_enc
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/riscv
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/riscv/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/tests
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/x64
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/encoders/x64/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/inference
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/inference/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/inference/tests
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/parsing
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/parsing/ocaml
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/parsing/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/parsing/tests
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/printing
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/printing/test
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2667/compiler/repl
 Checking: /scratch/cakeml/regression2/cakeml-2667/cv_translator
 ERROR! readme_gen.sml failed due to:
 eval_cake_compileLib.sml: trailing white-space is not allowed (adjust your editor setting)
 These errors were in: /scratch/cakeml/regression2/cakeml-2667/cv_translator