Job 1382

CakeML:d141a15a5f8c9c4b7e90a58e283fcc09680a3dd7
  Fix a build failure caused by an uncontrolled structure API [Oct 27 04:18:30]
HOL:6c0c2409ecdbd7195911f674a77bfdd39c83816e
  Fix printing of boolean negation after numeric types are loaded [Oct 26 03:48:20]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Oct 27 04:35:16 Claimed job
Oct 27 04:35:19 Building HOL
Oct 27 04:50:39 Starting developers
Oct 27 04:50:43 Finished developers                                               4s  94MB
Oct 27 04:50:43 Starting developers/bin
Oct 27 04:50:50 Finished developers/bin                                           6s   1GB
Oct 27 04:50:51 Starting semantics/ffi
Oct 27 04:51:02 Finished semantics/ffi                                           11s 250MB
Oct 27 04:51:02 Starting semantics
Oct 27 04:52:37 Finished semantics                                             1m34s   1GB
Oct 27 04:52:37 Starting semantics/proofs
Oct 27 04:56:14 Finished semantics/proofs                                      3m36s 921MB
Oct 27 04:56:14 Starting semantics/alt_semantics
Oct 27 04:56:23 Finished semantics/alt_semantics                                  8s 285MB
Oct 27 04:56:23 Starting semantics/alt_semantics/proofs
Oct 27 04:58:39 Finished semantics/alt_semantics/proofs                        2m15s 754MB
Oct 27 04:58:39 Starting basis/pure
Oct 27 05:01:46 Finished basis/pure                                            3m06s 836MB
Oct 27 05:01:46 Starting translator
Oct 27 05:04:32 Finished translator                                            2m45s   1GB
Oct 27 05:04:32 Starting compiler/parsing
Oct 27 05:05:46 Finished compiler/parsing                                      1m13s   2GB
Oct 27 05:05:46 Starting characteristic
Oct 27 05:11:52 Finished characteristic                                        6m06s   1GB
Oct 27 05:11:52 Starting translator/monadic
Oct 27 05:13:32 Finished translator/monadic                                    1m38s   1GB
Oct 27 05:13:32 Starting basis
Oct 27 05:13:53 FAILED: basis
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/examples/fun-op-sem/lprefix_lub
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(CAKEMLDIR)/developers
Scanning $(CAKEMLDIR)/misc/lem_lib_stub
Scanning $(CAKEMLDIR)/misc
Scanning $(CAKEMLDIR)/basis/pure
Scanning $(CAKEMLDIR)/semantics/ffi
Scanning $(CAKEMLDIR)/semantics
Scanning $(CAKEMLDIR)/semantics/proofs
Scanning $(CAKEMLDIR)/compiler/parsing
Scanning $(CAKEMLDIR)/translator
Scanning $(CAKEMLDIR)/characteristic
Scanning $(CAKEMLDIR)/translator/monadic/monad_base
Scanning $(CAKEMLDIR)/translator/monadic
Starting work on RuntimeProgTheory
Starting work on clFFITheory
Starting work on MarshallingTheory
Starting work on README.md
README.md                                       real:    0s  user:    0s     OK
Starting work on runtimeFFITheory
MarshallingTheory                               real:   10s  user:    9s     OK
Starting work on fsFFITheory
runtimeFFITheory                                real:   11s  user:   10s     OK
Starting work on basis_ffi.o
basis_ffi.o                                     real:    0s  user:    0s     OK
clFFITheory                                     real:   12s  user:   11s     OK
RuntimeProgTheory                               real:   19s  user:   18sFAIL<1>
       Can't unify {named_thm: ThmSetData.thname * thm, thy: string} to
          {named_thms: 'a, thy: string} (Field named_thm missing)
 Found near
   ThmSetData.new_exporter {efns = {add = ..., ...}, settype = nm} |> #export
 error in quse /home/cake/oven/regression/cakeml-1382/characteristic/cfLetAutoLib.sml : Fail "Static Errors"
 error in load $(CAKEMLDIR)/characteristic/cfLetAutoLib : Fail "Static Errors"
 error in load $(CAKEMLDIR)/characteristic/cfLib : Fail "Static Errors"
 error in load $(CAKEMLDIR)/basis/basisFunctionsLib : Fail "Static Errors"
 error in load /home/cake/oven/regression/cakeml-1382/basis/RuntimeProgScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"
fsFFITheory                                                             M-KILLED