Job 2739

CakeML:9e65d4f38ab204291abd91b5970306ce6064a066
  Merge remote-tracking branch 'origin/master' into efficient-cases-peg [Dec 08 23:42:49]
#1110 (efficient-cases-peg)
Merging into:515c45c629ea3bc53e91514be13688eb4041e0c0
  Merge pull request #1107 from CakeML/noneq-refs [Dec 09 05:39:51]
HOL:429df142120f03f0e1e3dcae1ec14dd20d66d9dd
  Tweak Holmake docs; include new features from 629d43fd28ac8 [Dec 06 04:03:59]
Machine:lammmington

Dec 09 05:39:59 Claimed job
Dec 09 05:40:05 Building HOL
Dec 09 05:51:01 Starting developers
Dec 09 05:51:05 FAILED: developers
readme_gen                                                          (0s)     OK
Starting work on README.md
README.md                                                           (2s)FAIL<1>
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/compilation/x64
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/compilation/x64/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/deflate
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/deflate/translation
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/deflate/translation/compilation
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/lpr_checker
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/lpr_checker/array
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/lpr_checker/array/compilation
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/lpr_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/lpr_checker/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/opentheory
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/opentheory/compilation
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/opentheory/compilation/ag32
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/opentheory/compilation/ag32/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/opentheory/compilation/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/pseudo_bool
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/pseudo_bool/array
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/pseudo_bool/array/compilation
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/pseudo_bool/array/compilation/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/pseudo_bool/array/compilation/proofsARM8
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/pseudo_bool/cnf_encoding
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/pseudo_bool/graph_encoding
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/sat_encodings
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/sat_encodings/case_studies
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/sat_encodings/demo
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/sat_encodings/translation
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/sat_encodings/translation/compilation
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/vipr
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/vipr/compilation
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/xlrup_checker
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/xlrup_checker/array
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/xlrup_checker/array/compilation
 Checking: /scratch/cakeml/regression2/cakeml-2739/examples/xlrup_checker/array/compilation/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2739/icing
 Checking: /scratch/cakeml/regression2/cakeml-2739/icing/examples
 Checking: /scratch/cakeml/regression2/cakeml-2739/icing/examples/output
 Checking: /scratch/cakeml/regression2/cakeml-2739/icing/flover
 Checking: /scratch/cakeml/regression2/cakeml-2739/icing/flover/Infra
 Checking: /scratch/cakeml/regression2/cakeml-2739/icing/flover/semantics
 Checking: /scratch/cakeml/regression2/cakeml-2739/misc
 Checking: /scratch/cakeml/regression2/cakeml-2739/pancake
 Checking: /scratch/cakeml/regression2/cakeml-2739/pancake/parser
 Checking: /scratch/cakeml/regression2/cakeml-2739/pancake/proofs
 Checking: /scratch/cakeml/regression2/cakeml-2739/pancake/semantics
 Checking: /scratch/cakeml/regression2/cakeml-2739/pancake/ta_progs
 Checking: /scratch/cakeml/regression2/cakeml-2739/semantics
 ERROR! readme_gen.sml failed due to:
 cmlPtreeConversionScript.sml: Use Overload ... = ``...`` instead of overload_on.
 These errors were in: /scratch/cakeml/regression2/cakeml-2739/semantics