Job 1580

CakeML:d5a3d1b3467de9e79e09d0b5d816a4ad3bdf6eea
  Improve compiler error messages [Sep 12 20:58:04]
#833 (parse-err)
Merging into:9e079b9c6aef1a1fe028a04f50789fbbed771045
  Merge pull request #832 from CakeML/errorpegs [Sep 10 08:24:48]
HOL:ef1d72d8d25c7691107eb1bf97d113b777f59997
  Fix context-free selftest and add new failure examples [Sep 03 07:26:05]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Sep 12 21:20:04 Claimed job
Sep 12 21:20:18 Reusing HOL
Sep 12 21:21:08 Starting developers
Sep 12 21:21:14 Finished developers                                               6s  93MB
Sep 12 21:21:14 Starting developers/bin
Sep 12 21:21:31 Finished developers/bin                                          16s   1GB
Sep 12 21:21:31 Starting semantics/ffi
Sep 12 21:21:59 Finished semantics/ffi                                           27s 311MB
Sep 12 21:21:59 Starting semantics
Sep 12 21:25:51 Finished semantics                                             3m51s   1GB
Sep 12 21:25:51 Starting semantics/proofs
Sep 12 21:35:56 Finished semantics/proofs                                     10m04s   1GB
Sep 12 21:35:56 Starting semantics/alt_semantics
Sep 12 21:36:23 Finished semantics/alt_semantics                                 26s 397MB
Sep 12 21:36:23 Starting semantics/alt_semantics/proofs
Sep 12 21:42:04 Finished semantics/alt_semantics/proofs                        5m41s   1GB
Sep 12 21:42:05 Starting basis/pure
Sep 12 21:43:55 Finished basis/pure                                            1m49s   1GB
Sep 12 21:43:55 Starting translator
Sep 12 21:50:06 Finished translator                                            6m10s   2GB
Sep 12 21:50:06 Starting compiler/parsing
Sep 12 21:52:25 Finished compiler/parsing                                      2m18s   2GB
Sep 12 21:52:25 Starting characteristic
Sep 12 21:59:48 Finished characteristic                                        7m23s   3GB
Sep 12 21:59:49 Starting translator/monadic
Sep 12 22:02:01 Finished translator/monadic                                    2m12s   3GB
Sep 12 22:02:01 Starting basis
Sep 12 22:48:40 Finished basis                                                46m38s  27GB
Sep 12 22:48:40 Starting compiler/inference
Sep 12 22:49:49 Finished compiler/inference                                    1m09s   2GB
Sep 12 22:49:50 Starting compiler/backend/reg_alloc
Sep 12 22:50:57 Finished compiler/backend/reg_alloc                            1m07s   2GB
Sep 12 22:50:57 Starting compiler/backend/gc
Sep 12 22:54:27 Finished compiler/backend/gc                                   3m29s   3GB
Sep 12 22:54:28 Starting compiler/backend
Sep 12 22:59:35 Finished compiler/backend                                      5m07s   4GB
Sep 12 22:59:36 Starting compiler/encoders/asm
Sep 12 22:59:59 Finished compiler/encoders/asm                                   23s   1GB
Sep 12 22:59:59 Starting compiler/encoders/x64
Sep 12 23:00:26 Finished compiler/encoders/x64                                   26s   1GB
Sep 12 23:00:26 Starting compiler/encoders/arm7
Sep 12 23:01:19 Finished compiler/encoders/arm7                                  51s   1GB
Sep 12 23:01:19 Starting compiler/encoders/arm8
Sep 12 23:01:33 Finished compiler/encoders/arm8                                  14s   1GB
Sep 12 23:01:33 Starting compiler/encoders/mips
Sep 12 23:01:51 Finished compiler/encoders/mips                                  18s   1GB
Sep 12 23:01:52 Starting compiler/encoders/riscv
Sep 12 23:02:09 Finished compiler/encoders/riscv                                 16s   1GB
Sep 12 23:02:09 Starting compiler/encoders/ag32
Sep 12 23:02:28 Finished compiler/encoders/ag32                                  18s 978MB
Sep 12 23:02:28 Starting compiler/backend/x64
Sep 12 23:02:49 Finished compiler/backend/x64                                    20s   1GB
Sep 12 23:02:49 Starting compiler/backend/arm7
Sep 12 23:03:12 Finished compiler/backend/arm7                                   23s   1GB
Sep 12 23:03:13 Starting compiler/backend/arm8
Sep 12 23:03:34 Finished compiler/backend/arm8                                   20s   1GB
Sep 12 23:03:34 Starting compiler/backend/mips
Sep 12 23:03:55 Finished compiler/backend/mips                                   21s   1GB
Sep 12 23:03:55 Starting compiler/backend/riscv
Sep 12 23:04:17 Finished compiler/backend/riscv                                  21s   1GB
Sep 12 23:04:17 Starting compiler/backend/ag32
Sep 12 23:05:28 Finished compiler/backend/ag32                                 1m10s   2GB
Sep 12 23:05:28 Starting compiler/parsing/proofs
Sep 12 23:12:07 Finished compiler/parsing/proofs                               6m38s   2GB
Sep 12 23:12:07 Starting compiler/inference/proofs
Sep 12 23:14:41 Finished compiler/inference/proofs                             2m33s   2GB
Sep 12 23:14:41 Starting compiler/backend/semantics
Sep 12 23:41:38 Finished compiler/backend/semantics                           26m57s   5GB
Sep 12 23:41:39 Starting compiler/backend/reg_alloc/proofs
Sep 12 23:44:57 Finished compiler/backend/reg_alloc/proofs                     3m18s   1GB
Sep 12 23:44:57 Starting compiler/backend/proofs
Sep 13 00:39:04 Finished compiler/backend/proofs                              54m06s  14GB
Sep 13 00:39:04 Starting compiler/encoders/x64/proofs
Sep 13 00:48:21 Finished compiler/encoders/x64/proofs                          9m16s   6GB
Sep 13 00:48:21 Starting compiler/encoders/arm7/proofs
Sep 13 01:01:06 Finished compiler/encoders/arm7/proofs                        12m44s   9GB
Sep 13 01:01:06 Starting compiler/encoders/arm8/proofs
Sep 13 01:07:43 Finished compiler/encoders/arm8/proofs                         6m36s   3GB
Sep 13 01:07:43 Starting compiler/encoders/mips/proofs
Sep 13 01:17:27 Finished compiler/encoders/mips/proofs                         9m43s   3GB
Sep 13 01:17:27 Starting compiler/encoders/riscv/proofs
Sep 13 01:25:43 Finished compiler/encoders/riscv/proofs                        8m15s   4GB
Sep 13 01:25:44 Starting compiler/encoders/ag32/proofs
Sep 13 01:28:04 Finished compiler/encoders/ag32/proofs                         2m20s   1GB
Sep 13 01:28:05 Starting compiler/backend/x64/proofs
Sep 13 01:28:27 Finished compiler/backend/x64/proofs                             22s   2GB
Sep 13 01:28:28 Starting compiler/backend/arm7/proofs
Sep 13 01:28:51 Finished compiler/backend/arm7/proofs                            23s   1GB
Sep 13 01:28:52 Starting compiler/backend/arm8/proofs
Sep 13 01:29:16 Finished compiler/backend/arm8/proofs                            23s   1GB
Sep 13 01:29:16 Starting compiler/backend/mips/proofs
Sep 13 01:29:39 Finished compiler/backend/mips/proofs                            23s   1GB
Sep 13 01:29:39 Starting compiler/backend/riscv/proofs
Sep 13 01:30:04 Finished compiler/backend/riscv/proofs                           24s   2GB
Sep 13 01:30:04 Starting compiler/backend/ag32/proofs
Sep 13 01:42:13 Finished compiler/backend/ag32/proofs                         12m08s   6GB
Sep 13 01:42:13 Starting compiler/proofs
Sep 13 01:44:03 Finished compiler/proofs                                       1m49s   6GB
Sep 13 01:44:03 Starting candle/set-theory
Sep 13 01:44:35 Finished candle/set-theory                                       31s   1GB
Sep 13 01:44:35 Starting candle/syntax-lib
Sep 13 01:44:47 Finished candle/syntax-lib                                       11s 802MB
Sep 13 01:44:47 Starting candle/standard/syntax
Sep 13 01:46:39 Finished candle/standard/syntax                                1m51s   1GB
Sep 13 01:46:39 Starting candle/standard/semantics
Sep 13 01:48:29 Finished candle/standard/semantics                             1m49s   2GB
Sep 13 01:48:29 Starting candle/standard/monadic
Sep 13 01:50:13 Finished candle/standard/monadic                               1m43s   1GB
Sep 13 01:50:13 Starting candle/standard/ml_kernel
Sep 13 01:55:46 Finished candle/standard/ml_kernel                             5m32s   5GB
Sep 13 01:55:47 Starting candle/overloading/syntax
Sep 13 01:58:58 Finished candle/overloading/syntax                             3m11s   1GB
Sep 13 01:58:58 Starting candle/overloading/semantics
Sep 13 02:11:05 Finished candle/overloading/semantics                         12m06s   7GB
Sep 13 02:11:05 Starting pancake
Sep 13 02:12:03 Finished pancake                                                 57s   1GB
Sep 13 02:12:03 Starting pancake/ffi
Sep 13 02:12:03 Finished pancake/ffi                                              0s   6MB
Sep 13 02:12:03 Starting pancake/semantics
Sep 13 02:14:19 Finished pancake/semantics                                     2m15s   1GB
Sep 13 02:14:19 Starting pancake/proofs
Sep 13 02:26:54 Finished pancake/proofs                                       12m34s   8GB
Sep 13 02:26:54 Starting characteristic/examples
Sep 13 02:28:17 Finished characteristic/examples                               1m22s   5GB
Sep 13 02:28:17 Starting tutorial/solutions
Sep 13 02:43:56 Finished tutorial/solutions                                   15m38s  10GB
Sep 13 02:43:56 Starting translator/monadic/examples
Sep 13 02:47:25 Finished translator/monadic/examples                           3m28s   3GB
Sep 13 02:47:25 Starting examples
Sep 13 02:56:50 Finished examples                                              9m23s   6GB
Sep 13 02:56:50 Starting examples/compilation/x64
Sep 13 05:20:44 Finished examples/compilation/x64                           2h23m51s  24GB
Sep 13 05:20:44 Starting examples/compilation/x64/proofs
Sep 13 05:22:46 Finished examples/compilation/x64/proofs                       2m02s   3GB
Sep 13 05:22:47 Starting examples/compilation/ag32
Sep 13 05:56:52 Finished examples/compilation/ag32                            34m05s  10GB
Sep 13 05:56:52 Starting examples/compilation/ag32/proofs
Sep 13 05:57:44 Finished examples/compilation/ag32/proofs                        51s   5GB
Sep 13 05:57:44 Starting examples/cost
Sep 13 07:10:47 Finished examples/cost                                      1h13m00s  19GB
Sep 13 07:10:48 Starting examples/lpr_checker
Sep 13 07:15:05 Finished examples/lpr_checker                                  4m16s   4GB
Sep 13 07:15:05 Starting examples/lpr_checker/compilation
Sep 13 07:35:32 Finished examples/lpr_checker/compilation                     20m27s  12GB
Sep 13 07:35:33 Starting examples/lpr_checker/compilation/proofs
Sep 13 07:36:22 Finished examples/lpr_checker/compilation/proofs                 49s   4GB
Sep 13 07:36:22 Starting examples/lpr_checker/array
Sep 13 07:51:56 Finished examples/lpr_checker/array                           15m33s   5GB
Sep 13 07:51:56 Starting examples/lpr_checker/array/compilation
Sep 13 08:14:20 Finished examples/lpr_checker/array/compilation               22m22s  14GB
Sep 13 08:14:20 Starting examples/lpr_checker/array/compilation/proofs
Sep 13 08:15:12 Finished examples/lpr_checker/array/compilation/proofs           52s   4GB
Sep 13 08:15:12 Starting examples/opentheory
Sep 13 08:25:16 Finished examples/opentheory                                  10m03s   8GB
Sep 13 08:25:16 Starting examples/opentheory
Sep 13 08:25:17 Finished examples/opentheory                                      0s 126MB
Sep 13 08:25:17 Starting examples/opentheory/compilation
Sep 13 09:03:53 Finished examples/opentheory/compilation                      38m35s  31GB
Sep 13 09:03:54 Starting examples/opentheory/compilation/proofs
Sep 13 09:04:44 Finished examples/opentheory/compilation/proofs                  49s   4GB
Sep 13 09:04:44 Starting examples/opentheory/compilation/ag32
Sep 13 09:46:58 Finished examples/opentheory/compilation/ag32                 42m10s  18GB
Sep 13 09:46:58 Starting examples/opentheory/compilation/ag32/proofs
Sep 13 09:48:45 Finished examples/opentheory/compilation/ag32/proofs           1m46s   8GB
Sep 13 09:48:45 Starting examples/sat_encodings
Sep 13 09:50:44 Finished examples/sat_encodings                                1m58s   1GB
Sep 13 09:50:44 Starting examples/sat_encodings/case_studies
Sep 13 09:52:23 Finished examples/sat_encodings/case_studies                   1m38s   1GB
Sep 13 09:52:23 Starting examples/sat_encodings/translation
Sep 13 09:58:33 Finished examples/sat_encodings/translation                    6m09s   6GB
Sep 13 09:58:33 Starting examples/sat_encodings/translation/compilation
Sep 13 10:50:41 Finished examples/sat_encodings/translation/compilation       52m06s  21GB
Sep 13 10:50:41 Starting translator/okasaki-examples
Sep 13 10:55:34 Finished translator/okasaki-examples                           4m53s   3GB
Sep 13 10:55:35 Starting translator/other-examples
Sep 13 10:56:31 Finished translator/other-examples                               56s   2GB
Sep 13 10:56:31 Starting compiler/parsing/tests
Sep 13 10:57:00 Finished compiler/parsing/tests                                  28s 646MB
Sep 13 10:57:00 Starting compiler/inference/tests
Sep 13 11:04:59 Finished compiler/inference/tests                              7m58s   6GB
Sep 13 11:04:59 Starting compiler/bootstrap/translation
Sep 13 13:37:05 Finished compiler/bootstrap/translation                     2h32m04s  52GB
Sep 13 13:37:05 Starting unverified/sexpr-bootstrap/x64/64
Sep 13 13:49:15 Finished unverified/sexpr-bootstrap/x64/64                    12m09s   8GB
Sep 13 13:49:15 Starting unverified/sexpr-bootstrap/x64/32
Sep 13 13:59:42 Finished unverified/sexpr-bootstrap/x64/32                    10m26s   8GB
Sep 13 13:59:42 Starting compiler/benchmarks
Sep 13 14:37:29 Finished compiler/benchmarks                                  37m46s   2GB
Sep 13 14:37:29 Starting compiler/bootstrap/compilation/x64/64
Sep 14 08:59:57 Finished compiler/bootstrap/compilation/x64/64             18h22m26s  56GB
Sep 14 08:59:57 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 14 09:02:27 Finished compiler/bootstrap/compilation/x64/64/proofs          2m29s  15GB
Sep 14 09:02:27 Starting compiler/bootstrap/compilation/x64/32
Sep 15 04:13:29 Finished compiler/bootstrap/compilation/x64/32             19h10m58s  64GB
Sep 15 04:13:29 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 15 04:15:37 Finished compiler/bootstrap/compilation/x64/32/proofs          2m08s  14GB
Sep 15 04:15:38 Starting compiler/bootstrap/compilation/ag32/32
Sep 16 13:01:27 Resuming compiler/bootstrap/compilation/ag32/32
Sep 16 13:01:30 Finished compiler/bootstrap/compilation/ag32/32                   2s 208MB
Sep 16 13:01:30 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 16 13:02:48 Resuming compiler/bootstrap/compilation/ag32/32/proofs
Sep 16 13:12:30 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m41s  57GB
Sep 16 13:12:30 SUCCESS