Job 2847

CakeML:a6cc65fe764ca3e98b14c665fec43a21de7d22fb
  Break misc yet again [Jun 02 13:27:28]
#1185 (IlmariReissumies:regression_test)
Merging into:e1650fc504837c0fbd3931cc5066914ffdc9d877
  Merge pull request #1184 from CakeML/bnn_checker [May 30 18:07:55]
HOL:ca9276b7cc564969f431f56eb20f48331455eecf
  WIP on figuring out why TypeBase.register_update_fn is not apparently [May 19 13:28:17]
Machine:pavlova

Jun 02 13:34:46 Claimed job
Jun 02 13:34:50 Reusing HOL
Jun 02 13:35:01 Starting developers
Jun 02 13:35:05 Finished developers                                               3s 215MB
Jun 02 13:35:06 Starting developers/bin
Jun 02 13:35:11 Finished developers/bin                                           4s 592MB
Jun 02 13:35:12 Starting misc
Jun 02 13:35:22 FAILED: misc
Scanning $(HOLDIR)/src/bag
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/fun-op-sem/lprefix_lub
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(CAKEMLDIR)/developers
Scanned 15 directories
Starting work on README.md
Starting work on miscTheory
README.md                                                           (0s)     OK
miscTheory                                                          (6s)FAIL<1>
 error in quse /scratch/cakeml/regression/cakeml-2847/misc/miscScript.sml : Domain
 error in load /scratch/cakeml/regression/cakeml-2847/misc/miscScript : Domain
 Uncaught exception at /scratch/cakeml/regression/cakeml-2847/misc/miscScript.sml:5: Domain