Job 1877

CakeML:c2be5d64270ec1538eded2eed51612b7708c5d50
  Merge pull request #872 from talsewell/printing-type-check-each-dec [Apr 26 09:47:56]
HOL:a161807cb4e0ea25b8781f3307a590b78703da6f
  Fix some overlong lines [Apr 20 03:46:17]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Apr 26 09:50:02 Claimed job
Apr 26 09:50:05 Building HOL
Apr 26 10:01:38 Starting developers
Apr 26 10:01:43 Finished developers                                               5s  77MB
Apr 26 10:01:44 Starting developers/bin
Apr 26 10:01:53 Finished developers/bin                                           9s   1GB
Apr 26 10:01:53 Starting semantics/ffi
Apr 26 10:02:05 Finished semantics/ffi                                           11s 183MB
Apr 26 10:02:05 Starting semantics
Apr 26 10:04:41 Finished semantics                                             2m35s   1GB
Apr 26 10:04:41 Starting semantics/proofs
Apr 26 10:10:48 Finished semantics/proofs                                      6m06s   1GB
Apr 26 10:10:48 Starting semantics/alt_semantics
Apr 26 10:11:16 Finished semantics/alt_semantics                                 27s 473MB
Apr 26 10:11:16 Starting semantics/alt_semantics/proofs
Apr 26 10:14:49 Finished semantics/alt_semantics/proofs                        3m33s 840MB
Apr 26 10:14:50 Starting basis/pure
Apr 26 10:19:04 Finished basis/pure                                            4m13s 785MB
Apr 26 10:19:04 Starting translator
Apr 26 10:23:00 Finished translator                                            3m55s   1GB
Apr 26 10:23:00 Starting compiler/parsing
Apr 26 10:24:47 Finished compiler/parsing                                      1m46s   2GB
Apr 26 10:24:47 Starting characteristic
Apr 26 10:32:21 Finished characteristic                                        7m33s   2GB
Apr 26 10:32:21 Starting translator/monadic
Apr 26 10:34:45 Finished translator/monadic                                    2m23s   1GB
Apr 26 10:34:45 Starting basis
Apr 26 10:48:10 FAILED: basis
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/quotient/src
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/balanced_bst
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/fun-op-sem/lprefix_lub
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(CAKEMLDIR)/developers
Scanning $(CAKEMLDIR)/misc
Scanning $(CAKEMLDIR)/semantics/ffi
Scanning $(CAKEMLDIR)/semantics
Scanning $(CAKEMLDIR)/basis/pure
Scanning $(CAKEMLDIR)/semantics/proofs
Scanning $(CAKEMLDIR)/compiler/parsing
Scanning $(CAKEMLDIR)/translator
Scanning $(CAKEMLDIR)/characteristic
Scanning $(CAKEMLDIR)/translator/monadic/monad_base
Scanning $(CAKEMLDIR)/translator/monadic
Scanned 28 directories
Starting work on RuntimeProgTheory
Starting work on clFFITheory
Starting work on MarshallingTheory
Starting work on README.md
README.md                                                           (0s)     OK
Starting work on runtimeFFITheory
MarshallingTheory                                                  (13s)     OK
Starting work on fsFFITheory
runtimeFFITheory                                                   (15s)     OK
Starting work on basis_ffi.o
basis_ffi.o                                                         (0s)     OK
clFFITheory                                                        (17s)     OK
RuntimeProgTheory                                                  (32s)     OK
Starting work on OptionProgTheory
Starting work on RuntimeProofTheory
fsFFITheory                                                        (29s)     OK
Starting work on fsFFIPropsTheory
OptionProgTheory                                                   (19s)     OK
Starting work on ListProgTheory
RuntimeProofTheory                                                 (34s)     OK
fsFFIPropsTheory                                                   (68s)     OK
ListProgTheory                                                     (67s)     OK
Starting work on VectorProgTheory
Starting work on ListProofTheory
ListProofTheory                                                    (30s)     OK
VectorProgTheory                                                   (37s)     OK
Starting work on StringProgTheory
StringProgTheory                                                   (50s)     OK
Starting work on mlbasicsProgTheory
mlbasicsProgTheory                                                 (50s)     OK
Starting work on IntProgTheory
IntProgTheory                                                      (42s)     OK
Starting work on PrettyPrinterProgTheory
PrettyPrinterProgTheory                                            (37s)     OK
Starting work on RatProgTheory
RatProgTheory                                                      (61s)     OK
Starting work on CharProgTheory
CharProgTheory                                                     (44s)     OK
Starting work on Word64ProgTheory
Word64ProgTheory                                                   (38s)     OK
Starting work on Word8ProgTheory
Word8ProgTheory                                                    (44s)     OK
Starting work on Word8ArrayProgTheory
Word8ArrayProgTheory                                               (32s)     OK
Starting work on ArrayProgTheory
Starting work on Word8ArrayProofTheory
Word8ArrayProofTheory                                              (52s)     OK
ArrayProgTheory                                                    (98s)     OK
Starting work on ArrayProofTheory
Starting work on MapProgTheory
MapProgTheory                                                      (65s)FAIL<1>
 error in load /home/cake/oven/regression/cakeml-1877/basis/MapProgScript : UnableToTranslate ?
 mapWithKey
 
 
 which has type:
 
 :( ->  -> ) -> (, ) balanced_map -> (, ) balanced_map
 
 Failed translation: map
 Uncaught exception: UnableToTranslate ?
ArrayProofTheory                                                   (65s)MKILLED