Job 1389

CakeML:1594cb0a7d7fbebcd3d099ffcf88751df6263703
  Fix a few parsing issues [Nov 10 12:30:34]
HOL:0c45436d2e80652f7fd2c0c6c22230f194a0d238
  Fix Unicode violation in previous [Nov 06 07:17:15]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 10 12:40:29 Claimed job
Nov 10 12:40:36 Reusing HOL
Nov 10 12:41:22 Starting developers
Nov 10 12:41:26 Finished developers                                               4s  95MB
Nov 10 12:41:26 Starting developers/bin
Nov 10 12:41:33 Finished developers/bin                                           6s   1GB
Nov 10 12:41:33 Starting semantics/ffi
Nov 10 12:41:45 Finished semantics/ffi                                           11s 225MB
Nov 10 12:41:45 Starting semantics
Nov 10 12:43:12 Finished semantics                                             1m26s   1GB
Nov 10 12:43:12 Starting semantics/proofs
Nov 10 12:46:48 Finished semantics/proofs                                      3m35s   1GB
Nov 10 12:46:48 Starting semantics/alt_semantics
Nov 10 12:46:57 Finished semantics/alt_semantics                                  8s 289MB
Nov 10 12:46:57 Starting semantics/alt_semantics/proofs
Nov 10 12:49:14 Finished semantics/alt_semantics/proofs                        2m16s 789MB
Nov 10 12:49:14 Starting basis/pure
Nov 10 12:50:05 Finished basis/pure                                              50s 878MB
Nov 10 12:50:05 Starting translator
Nov 10 12:52:53 Finished translator                                            2m47s   1GB
Nov 10 12:52:53 Starting compiler/parsing
Nov 10 12:54:08 Finished compiler/parsing                                      1m14s   2GB
Nov 10 12:54:08 Starting characteristic
Nov 10 13:00:23 Finished characteristic                                        6m15s   2GB
Nov 10 13:00:24 Starting translator/monadic
Nov 10 13:02:08 Finished translator/monadic                                    1m42s   1GB
Nov 10 13:02:08 Starting basis
Nov 10 13:38:45 Finished basis                                                36m36s  12GB
Nov 10 13:38:45 Starting compiler/inference
Nov 10 13:39:50 Finished compiler/inference                                    1m04s   1GB
Nov 10 13:39:50 Starting compiler/backend/reg_alloc
Nov 10 13:40:57 Finished compiler/backend/reg_alloc                            1m06s   1GB
Nov 10 13:40:57 Starting compiler/backend/gc
Nov 10 13:44:30 Finished compiler/backend/gc                                   3m32s   2GB
Nov 10 13:44:30 Starting compiler/backend
Nov 10 13:49:18 Finished compiler/backend                                      4m47s   3GB
Nov 10 13:49:18 Starting compiler/encoders/asm
Nov 10 13:49:41 Finished compiler/encoders/asm                                   22s 780MB
Nov 10 13:49:41 Starting compiler/encoders/x64
Nov 10 13:50:08 Finished compiler/encoders/x64                                   26s 866MB
Nov 10 13:50:08 Starting compiler/encoders/arm7
Nov 10 13:51:04 Finished compiler/encoders/arm7                                  55s 850MB
Nov 10 13:51:04 Starting compiler/encoders/arm8
Nov 10 13:51:17 Finished compiler/encoders/arm8                                  13s 937MB
Nov 10 13:51:18 Starting compiler/encoders/mips
Nov 10 13:51:36 Finished compiler/encoders/mips                                  18s   1GB
Nov 10 13:51:36 Starting compiler/encoders/riscv
Nov 10 13:51:51 Finished compiler/encoders/riscv                                 14s 760MB
Nov 10 13:51:51 Starting compiler/encoders/ag32
Nov 10 13:52:10 Finished compiler/encoders/ag32                                  18s 844MB
Nov 10 13:52:10 Starting compiler/backend/x64
Nov 10 13:52:29 Finished compiler/backend/x64                                    19s   1GB
Nov 10 13:52:30 Starting compiler/backend/arm7
Nov 10 13:52:50 Finished compiler/backend/arm7                                   20s   1GB
Nov 10 13:52:50 Starting compiler/backend/arm8
Nov 10 13:53:08 Finished compiler/backend/arm8                                   17s   1GB
Nov 10 13:53:08 Starting compiler/backend/mips
Nov 10 13:53:29 Finished compiler/backend/mips                                   20s   1GB
Nov 10 13:53:29 Starting compiler/backend/riscv
Nov 10 13:53:49 Finished compiler/backend/riscv                                  20s   1GB
Nov 10 13:53:50 Starting compiler/backend/ag32
Nov 10 13:55:03 Finished compiler/backend/ag32                                 1m13s   1GB
Nov 10 13:55:03 Starting compiler/parsing/proofs
Nov 10 14:00:48 Finished compiler/parsing/proofs                               5m45s   1GB
Nov 10 14:00:48 Starting compiler/inference/proofs
Nov 10 14:03:27 Finished compiler/inference/proofs                             2m37s   1GB
Nov 10 14:03:27 Starting compiler/backend/semantics
Nov 10 14:34:55 Finished compiler/backend/semantics                           31m28s   2GB
Nov 10 14:34:56 Starting compiler/backend/reg_alloc/proofs
Nov 10 14:38:47 Finished compiler/backend/reg_alloc/proofs                     3m50s 976MB
Nov 10 14:38:47 Starting compiler/backend/proofs
Nov 10 15:36:39 Finished compiler/backend/proofs                              57m51s  16GB
Nov 10 15:36:39 Starting compiler/encoders/x64/proofs
Nov 10 15:47:06 Finished compiler/encoders/x64/proofs                         10m26s   4GB
Nov 10 15:47:06 Starting compiler/encoders/arm7/proofs
Nov 10 16:01:25 Finished compiler/encoders/arm7/proofs                        14m18s   3GB
Nov 10 16:01:25 Starting compiler/encoders/arm8/proofs
Nov 10 16:08:27 Finished compiler/encoders/arm8/proofs                         7m02s   1GB
Nov 10 16:08:27 Starting compiler/encoders/mips/proofs
Nov 10 16:19:18 Finished compiler/encoders/mips/proofs                        10m50s   2GB
Nov 10 16:19:18 Starting compiler/encoders/riscv/proofs
Nov 10 16:28:50 Finished compiler/encoders/riscv/proofs                        9m31s   1GB
Nov 10 16:28:50 Starting compiler/encoders/ag32/proofs
Nov 10 16:31:37 Finished compiler/encoders/ag32/proofs                         2m46s 619MB
Nov 10 16:31:37 Starting compiler/backend/x64/proofs
Nov 10 16:31:58 Finished compiler/backend/x64/proofs                             21s   1GB
Nov 10 16:31:58 Starting compiler/backend/arm7/proofs
Nov 10 16:32:22 Finished compiler/backend/arm7/proofs                            23s   1GB
Nov 10 16:32:22 Starting compiler/backend/arm8/proofs
Nov 10 16:32:43 Finished compiler/backend/arm8/proofs                            21s   1GB
Nov 10 16:32:43 Starting compiler/backend/mips/proofs
Nov 10 16:33:06 Finished compiler/backend/mips/proofs                            22s   1GB
Nov 10 16:33:06 Starting compiler/backend/riscv/proofs
Nov 10 16:33:27 Finished compiler/backend/riscv/proofs                           21s   1GB
Nov 10 16:33:27 Starting compiler/backend/ag32/proofs
Nov 10 16:47:11 Finished compiler/backend/ag32/proofs                         13m43s   3GB
Nov 10 16:47:11 Starting compiler/proofs
Nov 10 16:49:08 Finished compiler/proofs                                       1m56s   5GB
Nov 10 16:49:08 Starting candle/set-theory
Nov 10 16:49:37 Finished candle/set-theory                                       29s 888MB
Nov 10 16:49:37 Starting candle/syntax-lib
Nov 10 16:49:48 Finished candle/syntax-lib                                       10s 454MB
Nov 10 16:49:48 Starting candle/standard/syntax
Nov 10 16:51:44 Finished candle/standard/syntax                                1m54s   1GB
Nov 10 16:51:44 Starting candle/standard/semantics
Nov 10 16:53:33 Finished candle/standard/semantics                             1m48s   1GB
Nov 10 16:53:33 Starting candle/standard/monadic
Nov 10 16:55:21 Finished candle/standard/monadic                               1m47s   1GB
Nov 10 16:55:21 Starting candle/standard/ml_kernel
Nov 10 16:55:52 FAILED: candle/standard/ml_kernel
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
Scanning $(CAKEMLDIR)/basis
Scanning $(CAKEMLDIR)/candle/syntax-lib
Scanning $(CAKEMLDIR)/candle/standard/syntax
Scanning $(CAKEMLDIR)/candle/standard/monadic
Starting work on README.md
Starting work on ml_hol_kernelProgTheory
README.md                                       real:    0s  user:    0s     OK
ml_hol_kernelProgTheory                         real:   30s  user:   28sFAIL<1>
            segment_data: {thyname: string} -> ThyDataSexp.t option,
            set: ThyDataSexp.t -> unit} (Different number of fields)
 Found near
   val
      {export = export, segment_data = segment_data} =
         ThyDataSexp.new {thydataty = "ml_monad_translator", merge = ..., ...}
 error in quse /home/cake/oven/regression/cakeml-1389/translator/monadic/ml_monad_translatorLib.sml : Fail "Static Errors"
 error in load $(CAKEMLDIR)/translator/monadic/ml_monad_translatorLib : Fail "Static Errors"
 error in load /home/cake/oven/regression/cakeml-1389/candle/standard/ml_kernel/ml_hol_kernelProgScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"