Job 687

CakeML:46f7ad9cc1730cf5dd01765aa230e2da66e974a0
  Remove a couple of references to FDOM_FDIFF, which is now automatic [Jan 17 01:02:33]
#605 (cleanup)
Merging into:4c7bf47ab5ec3da9da1e0f994b560d0342f6e9e1
  Merge pull request #604 from Gaj7/master [Jan 16 14:54:23]
HOL:769d390effb6bfbcea7b18f4ebb2aef98afa3645
  Merge pull request #641 from immler/develop [Jan 16 06:03:18]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jan 17 05:28:27 Claimed job
Jan 17 05:28:31 Reusing HOL
Jan 17 05:29:25 Starting developers
Jan 17 05:29:28 Finished developers                                               2s  21MB
Jan 17 05:29:29 Starting developers/bin
Jan 17 05:30:39 Finished developers/bin                                        1m09s 916MB
Jan 17 05:30:39 Starting semantics/ffi
Jan 17 05:30:50 Finished semantics/ffi                                           10s 234MB
Jan 17 05:30:51 Starting semantics
Jan 17 05:31:01 FAILED: semantics
]0;Holmake: .]0;Holmake: ~/oven/regression/HOL-769d390effb6bfbcea7b18f4ebb2aef98afa3645/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/oven/regression/HOL-769d390effb6bfbcea7b18f4ebb2aef98afa3645/examples/fun-op-sem/lprefix_lubWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub
]0;Holmake: .]0;Holmake: ~/oven/regression/cakeml-687/developers]0;Holmake: ~/oven/regression/cakeml-687/developersWorking in $(CAKEMLDIR)/developers
]0;Holmake: .]0;Holmake: ~/oven/regression/cakeml-687/misc]0;Holmake: ~/oven/regression/HOL-769d390effb6bfbcea7b18f4ebb2aef98afa3645/examples/machine-code/hoare-triple]0;Holmake: ~/oven/regression/HOL-769d390effb6bfbcea7b18f4ebb2aef98afa3645/examples/machine-code/hoare-tripleWorking in $(HOLDIR)/examples/machine-code/hoare-triple
]0;Holmake: ~/oven/regression/cakeml-687/misc]0;Holmake: ~/oven/regression/cakeml-687/misc/lem_lib_stub]0;Holmake: ~/oven/regression/cakeml-687/misc/lem_lib_stubWorking in $(CAKEMLDIR)/misc/lem_lib_stub
]0;Holmake: ~/oven/regression/cakeml-687/misc]0;Holmake: ~/oven/regression/cakeml-687/miscWorking in $(CAKEMLDIR)/misc
Starting work on alist_treeTheory
Starting work on miscTheory
Starting work on README.md
README.md                                                                    OK
alist_treeTheory                                                             OK
miscTheory                                                          FAILED! <1>
 Saved theorem _____ "LIST_REL_lookup_fromList_MAP"
 Saved theorem _____ "LIST_REL_FRONT_LAST"
 Saved definition __ "lookup_any_def"
 Saved definition __ "fromList2_def"
 error in quse /home/cake/oven/regression/cakeml-687/misc/miscScript.sml : Fail "Static Errors"
 error in load miscScript : Fail "Static Errors"
 Saved theorem _____ "EVEN_fromList2"
 /home/cake/oven/regression/cakeml-687/misc/miscScript.sml:320: error: Value or constructor (SUBMAP_FLOOKUP_EQN) has not been declared
 Found near [SUBMAP_FLOOKUP_EQN]
 Uncaught exception: Fail "Static Errors"
]0;Holmake: .