Job 2848

CakeML:2e81fa1ed6801700fb7dc514cc6353529a8b5f0e
  Re-rebreak miscScript [Jun 02 13:43:14]
#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:44:27 Claimed job
Jun 02 13:44:31 Reusing HOL
Jun 02 13:44:42 Starting developers
Jun 02 13:44:46 Finished developers                                               3s 211MB
Jun 02 13:44:47 Starting developers/bin
Jun 02 13:44:52 Finished developers/bin                                           4s 592MB
Jun 02 13:44:53 Starting misc
Jun 02 13:45:03 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-2848/misc/miscScript.sml : Domain
 error in load /scratch/cakeml/regression/cakeml-2848/misc/miscScript : Domain
 Uncaught exception at /scratch/cakeml/regression/cakeml-2848/misc/miscScript.sml:5: Domain