Job 404

CakeML:b26b176355639224edb3e8ee33ac2d6f7bfe4123
  Move let into failwith in inferencer [Aug 05 04:49:37]
#507 (type-error-msg)
Merging into:1b5f8be3242a8a1d13d1289f21c06650fb5eb463
  Update translator for new length check [Aug 06 19:03:49]
HOL:2abaf720bc88c75a793eac0e280e392479d1745e
  Let ANSI colouring happen on screen terminals [Aug 02 11:53:04]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Aug 06 20:08:07 Claimed job
Aug 06 20:08:10 Reusing HOL
Aug 06 20:08:18 Starting developers/bin
Aug 06 20:08:22 Finished developers/bin                                           3s 217MB
Aug 06 20:08:23 Starting semantics/ffi
Aug 06 20:08:34 Finished semantics/ffi                                           10s 254MB
Aug 06 20:08:34 Starting semantics
Aug 06 20:10:03 Finished semantics                                             1m28s 951MB
Aug 06 20:10:04 Starting semantics/proofs
Aug 06 20:12:59 Finished semantics/proofs                                      2m54s   1GB
Aug 06 20:12:59 Starting basis/pure
Aug 06 20:13:49 Finished basis/pure                                              48s 783MB
Aug 06 20:13:50 Starting translator
Aug 06 20:15:29 Finished translator                                            1m38s 881MB
Aug 06 20:15:29 Starting compiler/parsing
Aug 06 20:17:15 Finished compiler/parsing                                      1m44s   1GB
Aug 06 20:17:15 Starting characteristic
Aug 06 20:19:36 Finished characteristic                                        2m19s   1GB
Aug 06 20:19:36 Starting translator/monadic
Aug 06 20:21:04 Finished translator/monadic                                    1m27s   1GB
Aug 06 20:21:05 Starting basis
Aug 06 20:37:40 Finished basis                                                16m34s   2GB
Aug 06 20:37:41 Starting compiler/inference
Aug 06 20:39:06 Finished compiler/inference                                    1m24s   1GB
Aug 06 20:39:07 Starting compiler/backend/reg_alloc
Aug 06 20:39:40 Finished compiler/backend/reg_alloc                              33s 919MB
Aug 06 20:39:41 Starting compiler/backend/gc
Aug 06 20:47:55 Finished compiler/backend/gc                                   8m13s   3GB
Aug 06 20:47:55 Starting compiler/backend
Aug 06 20:47:58 Finished compiler/backend                                         2s  18MB
Aug 06 20:47:59 Starting compiler/encoders/asm
Aug 06 20:48:00 Finished compiler/encoders/asm                                    0s  28MB
Aug 06 20:48:01 Starting compiler/encoders/x64
Aug 06 20:48:16 Finished compiler/encoders/x64                                   14s 378MB
Aug 06 20:48:17 Starting compiler/encoders/arm6
Aug 06 20:49:02 Finished compiler/encoders/arm6                                  44s 437MB
Aug 06 20:49:02 Starting compiler/encoders/arm8
Aug 06 20:49:10 Finished compiler/encoders/arm8                                   6s 420MB
Aug 06 20:49:11 Starting compiler/encoders/mips
Aug 06 20:49:20 Finished compiler/encoders/mips                                   8s 453MB
Aug 06 20:49:20 Starting compiler/encoders/riscv
Aug 06 20:49:29 Finished compiler/encoders/riscv                                  7s 415MB
Aug 06 20:49:29 Starting compiler/backend/x64
Aug 06 20:49:47 Finished compiler/backend/x64                                    16s   1GB
Aug 06 20:49:47 Starting compiler/backend/arm6
Aug 06 20:50:07 Finished compiler/backend/arm6                                   18s   1GB
Aug 06 20:50:07 Starting compiler/backend/arm8
Aug 06 20:50:26 Finished compiler/backend/arm8                                   17s   1GB
Aug 06 20:50:26 Starting compiler/backend/mips
Aug 06 20:50:45 Finished compiler/backend/mips                                   17s   1GB
Aug 06 20:50:46 Starting compiler/backend/riscv
Aug 06 20:51:04 Finished compiler/backend/riscv                                  17s   1GB
Aug 06 20:51:04 Starting compiler/parsing/proofs
Aug 06 20:57:22 Finished compiler/parsing/proofs                               6m17s 826MB
Aug 06 20:57:23 Starting compiler/inference/proofs
Aug 06 21:00:33 Finished compiler/inference/proofs                             3m09s   1GB
Aug 06 21:00:34 Starting compiler/backend/semantics
Aug 06 21:11:35 Finished compiler/backend/semantics                           10m59s   2GB
Aug 06 21:11:36 Starting compiler/backend/reg_alloc/proofs
Aug 06 21:12:27 Finished compiler/backend/reg_alloc/proofs                       50s 509MB
Aug 06 21:12:28 Starting compiler/backend/proofs
Aug 06 22:00:42 Finished compiler/backend/proofs                              48m12s   3GB
Aug 06 22:00:42 Starting compiler/encoders/x64/proofs
Aug 06 22:07:46 Finished compiler/encoders/x64/proofs                          7m02s 865MB
Aug 06 22:07:46 Starting compiler/encoders/arm6/proofs
Aug 06 22:14:32 Finished compiler/encoders/arm6/proofs                         6m43s 923MB
Aug 06 22:14:33 Starting compiler/encoders/arm8/proofs
Aug 06 22:20:10 Finished compiler/encoders/arm8/proofs                         5m36s   1GB
Aug 06 22:20:10 Starting compiler/encoders/mips/proofs
Aug 06 22:27:41 Finished compiler/encoders/mips/proofs                         7m30s   1GB
Aug 06 22:27:42 Starting compiler/encoders/riscv/proofs
Aug 06 22:36:27 Finished compiler/encoders/riscv/proofs                        8m44s 770MB
Aug 06 22:36:27 Starting compiler/backend/x64/proofs
Aug 06 22:36:49 Finished compiler/backend/x64/proofs                             20s   1GB
Aug 06 22:36:49 Starting compiler/backend/arm6/proofs
Aug 06 22:37:12 Finished compiler/backend/arm6/proofs                            22s   1GB
Aug 06 22:37:13 Starting compiler/backend/arm8/proofs
Aug 06 22:37:33 Finished compiler/backend/arm8/proofs                            19s   1GB
Aug 06 22:37:34 Starting compiler/backend/mips/proofs
Aug 06 22:37:56 Finished compiler/backend/mips/proofs                            20s   1GB
Aug 06 22:37:56 Starting compiler/backend/riscv/proofs
Aug 06 22:38:18 Finished compiler/backend/riscv/proofs                           20s   1GB
Aug 06 22:38:18 Starting compiler/proofs
Aug 06 22:39:47 Finished compiler/proofs                                       1m27s   2GB
Aug 06 22:39:47 Starting candle/set-theory
Aug 06 22:40:14 Finished candle/set-theory                                       26s 604MB
Aug 06 22:40:15 Starting candle/syntax-lib
Aug 06 22:40:26 Finished candle/syntax-lib                                       10s 573MB
Aug 06 22:40:26 Starting candle/standard/syntax
Aug 06 22:42:07 Finished candle/standard/syntax                                1m39s 689MB
Aug 06 22:42:07 Starting candle/standard/semantics
Aug 06 22:43:33 Finished candle/standard/semantics                             1m24s   1GB
Aug 06 22:43:34 Starting candle/standard/monadic
Aug 06 22:45:06 Finished candle/standard/monadic                               1m31s 844MB
Aug 06 22:45:06 Starting candle/standard/ml_kernel
Aug 06 22:49:00 Finished candle/standard/ml_kernel                             3m53s   2GB
Aug 06 22:49:01 Starting candle/standard/opentheory
Aug 06 22:49:16 Finished candle/standard/opentheory                              14s 707MB
Aug 06 22:49:17 Starting characteristic/examples
Aug 06 22:51:07 Finished characteristic/examples                               1m48s   2GB
Aug 06 22:51:07 Starting tutorial/solutions
Aug 06 23:07:05 Finished tutorial/solutions                                   15m57s   5GB
Aug 06 23:07:06 Starting translator/monadic/examples
Aug 06 23:09:26 Finished translator/monadic/examples                           2m19s   2GB
Aug 06 23:09:26 Starting examples
Aug 06 23:17:24 Finished examples                                              7m57s   5GB
Aug 06 23:17:25 Starting examples/compilation
Aug 07 01:27:14 Finished examples/compilation                               2h09m47s  10GB
Aug 07 01:27:14 Starting examples/compilation/proofs
Aug 07 01:29:05 Finished examples/compilation/proofs                           1m50s   3GB
Aug 07 01:29:06 Starting compiler/benchmarks
Aug 07 01:29:07 Finished compiler/benchmarks                                      0s   4MB
Aug 07 01:29:07 Starting translator/okasaki-examples
Aug 07 01:33:00 Finished translator/okasaki-examples                           3m51s   1GB
Aug 07 01:33:01 Starting translator/other-examples
Aug 07 01:33:38 Finished translator/other-examples                               36s   1GB
Aug 07 01:33:38 Starting compiler/parsing/tests
Aug 07 01:34:03 Finished compiler/parsing/tests                                  24s 339MB
Aug 07 01:34:04 Starting compiler/inference/tests
Aug 07 01:38:24 Finished compiler/inference/tests                              4m18s   3GB
Aug 07 01:38:24 Starting compiler/bootstrap/translation
Aug 07 11:42:36 Resuming compiler/bootstrap/translation
Aug 08 13:57:41 Resuming compiler/bootstrap/translation