Job 1099

CakeML:7527b7e13d64c1f338c374d4eebfdeadf44c943f
  Merge pull request #706 from CakeML/parserprog-fix [Nov 20 18:22:00]
HOL:ad87bf11e5978fea7829defa6bb7ead073b71380
  Slightly recast core result about  [Nov 23 11:06:58]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 24 23:55:38 Claimed job
Nov 24 23:55:45 Building HOL
Nov 25 00:06:29 Starting developers
Nov 25 00:06:33 Finished developers                                               3s  84MB
Nov 25 00:06:33 Starting developers/bin
Nov 25 00:06:40 Finished developers/bin                                           6s 960MB
Nov 25 00:06:41 Starting semantics/ffi
Nov 25 00:06:50 Finished semantics/ffi                                            9s 245MB
Nov 25 00:06:50 Starting semantics
Nov 25 00:08:17 Finished semantics                                             1m26s   1GB
Nov 25 00:08:18 Starting semantics/proofs
Nov 25 00:11:14 Finished semantics/proofs                                      2m56s   1GB
Nov 25 00:11:14 Starting semantics/alt_semantics
Nov 25 00:11:22 Finished semantics/alt_semantics                                  7s 283MB
Nov 25 00:11:22 Starting semantics/alt_semantics/proofs
Nov 25 00:13:09 Finished semantics/alt_semantics/proofs                        1m47s 699MB
Nov 25 00:13:09 Starting basis/pure
Nov 25 00:15:54 Finished basis/pure                                            2m44s 826MB
Nov 25 00:15:54 Starting translator
Nov 25 00:17:43 Finished translator                                            1m49s   1GB
Nov 25 00:17:43 Starting compiler/parsing
Nov 25 00:18:48 Finished compiler/parsing                                      1m04s   2GB
Nov 25 00:18:48 Starting characteristic
Nov 25 00:24:04 Finished characteristic                                        5m15s   1GB
Nov 25 00:24:04 Starting translator/monadic
Nov 25 00:25:32 Finished translator/monadic                                    1m28s   1GB
Nov 25 00:25:32 Starting basis
Nov 25 00:45:00 Finished basis                                                19m27s   2GB
Nov 25 00:45:00 Starting compiler/inference
Nov 25 00:46:47 Finished compiler/inference                                    1m46s   1GB
Nov 25 00:46:47 Starting compiler/backend/reg_alloc
Nov 25 00:46:55 FAILED: compiler/backend/reg_alloc
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(CAKEMLDIR)/developers
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(CAKEMLDIR)/misc/lem_lib_stub
Scanning $(CAKEMLDIR)/misc
Scanning $(CAKEMLDIR)/semantics/ffi
Scanning $(CAKEMLDIR)/semantics
Scanning $(CAKEMLDIR)/translator/monadic/monad_base
Scanning $(CAKEMLDIR)/unverified/reg_alloc
Starting work on README.md
Starting work on reg_allocTheory
Starting work on parmoveTheory
README.md                                       real:    0s  user:    0s     OK
reg_allocTheory                                 real:    6s  user:    5sFAIL<1>
       ((string * hol_type) * thm) list -> term list
    Argument: new_fields_info : ((string * rcd_fieldinfo) * thm) list
    Reason:
       Can't unify hol_type to {accessor: term, fupd: term, ty: hol_type}
          (Incompatible types)
 Found near List.map mk_new_field new_fields_info
 error in quse /home/cake/oven/regression/cakeml-1099/translator/monadic/monad_base/ml_monadBaseLib.sml : Fail "Static Errors"
 error in load $(CAKEMLDIR)/translator/monadic/monad_base/ml_monadBaseLib : Fail "Static Errors"
 error in load /home/cake/oven/regression/cakeml-1099/compiler/backend/reg_alloc/reg_allocScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"
parmoveTheory                                                           M-KILLED