Job 2490

CakeML:5168cb644eb9d400becaf55b95d3f9af60fede6a
  Add double to prim_types [Jul 22 08:46:26]
#1023 (double-type-fix)
Merging into:05aaba52005899328d6b4f19faf319c26b7e5310
  Merge pull request #1022 from CakeML/pr/991 [Jul 26 04:58:05]
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser [Jul 15 06:13:45]
Machine:pavlova

Jul 26 09:31:23 Claimed job
Jul 26 09:31:32 Reusing HOL
Jul 26 09:31:43 Starting developers
Jul 26 09:31:47 Finished developers                                               2s 213MB
Jul 26 09:31:48 Starting developers/bin
Jul 26 09:31:58 Finished developers/bin                                           9s   1GB
Jul 26 09:31:59 Starting compiler/proofs
Jul 26 11:25:41 Finished compiler/proofs                                    1h53m40s  47GB
Jul 26 11:25:42 Starting compiler/bootstrap/translation
Jul 26 19:36:11 Finished compiler/bootstrap/translation                     8h10m28s  60GB
Jul 26 19:36:12 Starting semantics/ffi
Jul 26 19:36:21 Finished semantics/ffi                                            7s 657MB
Jul 26 19:36:21 Starting semantics
Jul 26 19:36:23 Finished semantics                                                0s  69MB
Jul 26 19:36:24 Starting semantics/proofs
Jul 26 19:37:01 Finished semantics/proofs                                        36s   2GB
Jul 26 19:37:02 Starting semantics/alt_semantics
Jul 26 19:37:43 Finished semantics/alt_semantics                                 40s   1GB
Jul 26 19:37:44 Starting semantics/alt_semantics/proofs
Jul 26 19:48:49 Finished semantics/alt_semantics/proofs                       11m03s   4GB
Jul 26 19:48:50 Starting basis/pure
Jul 26 19:48:51 Finished basis/pure                                               0s  70MB
Jul 26 19:48:52 Starting translator
Jul 26 19:50:37 Finished translator                                            1m43s   4GB
Jul 26 19:50:37 Starting compiler/parsing
Jul 26 19:50:39 Finished compiler/parsing                                         0s  69MB
Jul 26 19:50:40 Starting characteristic
Jul 26 19:50:41 Finished characteristic                                           0s  96MB
Jul 26 19:50:42 Starting translator/monadic
Jul 26 19:50:44 Finished translator/monadic                                       0s  96MB
Jul 26 19:50:45 Starting basis
Jul 26 19:54:18 Finished basis                                                 3m32s   6GB
Jul 26 19:54:19 Starting compiler/inference
Jul 26 19:54:20 Finished compiler/inference                                       0s  99MB
Jul 26 19:54:21 Starting compiler/backend/reg_alloc
Jul 26 19:54:23 Finished compiler/backend/reg_alloc                               0s  71MB
Jul 26 19:54:24 Starting compiler/backend/gc
Jul 26 19:54:25 Finished compiler/backend/gc                                      0s 138MB
Jul 26 19:54:26 Starting compiler/backend
Jul 26 19:54:46 Finished compiler/backend                                        19s   1GB
Jul 26 19:54:47 Starting compiler/encoders/asm
Jul 26 19:54:48 Finished compiler/encoders/asm                                    0s  89MB
Jul 26 19:54:49 Starting compiler/encoders/x64
Jul 26 19:54:51 Finished compiler/encoders/x64                                    0s 101MB
Jul 26 19:54:52 Starting compiler/encoders/arm7
Jul 26 19:54:53 Finished compiler/encoders/arm7                                   0s 101MB
Jul 26 19:54:54 Starting compiler/encoders/arm8
Jul 26 19:54:56 Finished compiler/encoders/arm8                                   0s 101MB
Jul 26 19:54:57 Starting compiler/encoders/arm8_asl
Jul 26 19:57:12 Finished compiler/encoders/arm8_asl                            2m13s   1GB
Jul 26 19:57:12 Starting compiler/encoders/mips
Jul 26 19:57:14 Finished compiler/encoders/mips                                   0s 101MB
Jul 26 19:57:15 Starting compiler/encoders/riscv
Jul 26 19:57:16 Finished compiler/encoders/riscv                                  0s 101MB
Jul 26 19:57:17 Starting compiler/encoders/ag32
Jul 26 19:57:19 Finished compiler/encoders/ag32                                   0s  96MB
Jul 26 19:57:20 Starting compiler/backend/x64
Jul 26 19:57:21 Finished compiler/backend/x64                                     0s 133MB
Jul 26 19:57:22 Starting compiler/backend/arm7
Jul 26 19:57:24 Finished compiler/backend/arm7                                    0s 133MB
Jul 26 19:57:25 Starting compiler/backend/arm8
Jul 26 19:57:27 Finished compiler/backend/arm8                                    0s 133MB
Jul 26 19:57:28 Starting compiler/backend/mips
Jul 26 19:57:29 Finished compiler/backend/mips                                    0s 133MB
Jul 26 19:57:30 Starting compiler/backend/riscv
Jul 26 19:57:32 Finished compiler/backend/riscv                                   0s 133MB
Jul 26 19:57:33 Starting compiler/backend/ag32
Jul 26 19:58:56 Finished compiler/backend/ag32                                 1m22s   3GB
Jul 26 19:58:57 Starting compiler/parsing/proofs
Jul 26 19:58:58 Finished compiler/parsing/proofs                                  0s  73MB
Jul 26 19:58:59 Starting compiler/inference/proofs
Jul 26 19:59:01 Finished compiler/inference/proofs                                0s  90MB
Jul 26 19:59:02 Starting compiler/backend/semantics
Jul 26 20:02:50 Finished compiler/backend/semantics                            3m47s   2GB
Jul 26 20:02:51 Starting compiler/backend/reg_alloc/proofs
Jul 26 20:02:53 Finished compiler/backend/reg_alloc/proofs                        0s  96MB
Jul 26 20:02:54 Starting compiler/backend/proofs
Jul 26 20:03:58 Finished compiler/backend/proofs                               1m03s   2GB
Jul 26 20:03:59 Starting compiler/backend/serialiser
Jul 26 20:04:01 Finished compiler/backend/serialiser                              0s 153MB
Jul 26 20:04:02 Starting compiler/encoders/x64/proofs
Jul 26 20:13:25 Finished compiler/encoders/x64/proofs                          9m22s   5GB
Jul 26 20:13:26 Starting compiler/encoders/arm7/proofs
Jul 26 20:26:20 Finished compiler/encoders/arm7/proofs                        12m53s  12GB
Jul 26 20:26:21 Starting compiler/encoders/arm8/proofs
Jul 26 20:32:42 Finished compiler/encoders/arm8/proofs                         6m20s   6GB
Jul 26 20:32:43 Starting compiler/encoders/arm8_asl/proofs
Jul 26 20:46:40 Finished compiler/encoders/arm8_asl/proofs                    13m55s   4GB
Jul 26 20:46:40 Starting compiler/encoders/mips/proofs
Jul 26 20:56:54 Finished compiler/encoders/mips/proofs                        10m12s  10GB
Jul 26 20:56:55 Starting compiler/encoders/riscv/proofs
Jul 26 21:05:29 Finished compiler/encoders/riscv/proofs                        8m33s   6GB
Jul 26 21:05:30 Starting compiler/encoders/ag32/proofs
Jul 26 21:08:03 Finished compiler/encoders/ag32/proofs                         2m31s   3GB
Jul 26 21:08:04 Starting compiler/backend/x64/proofs
Jul 26 21:08:51 Finished compiler/backend/x64/proofs                             46s   3GB
Jul 26 21:08:52 Starting compiler/backend/arm7/proofs
Jul 26 21:09:44 Finished compiler/backend/arm7/proofs                            51s   3GB
Jul 26 21:09:45 Starting compiler/backend/arm8/proofs
Jul 26 21:10:30 Finished compiler/backend/arm8/proofs                            44s   3GB
Jul 26 21:10:30 Starting compiler/backend/arm8_asl
Jul 26 21:11:03 Finished compiler/backend/arm8_asl                               31s   2GB
Jul 26 21:11:04 Starting compiler/backend/mips/proofs
Jul 26 21:11:53 Finished compiler/backend/mips/proofs                            47s   3GB
Jul 26 21:11:54 Starting compiler/backend/riscv/proofs
Jul 26 21:12:48 Finished compiler/backend/riscv/proofs                           53s   4GB
Jul 26 21:12:49 Starting compiler/backend/ag32/proofs
Jul 26 21:27:32 Finished compiler/backend/ag32/proofs                         14m42s   6GB
Jul 26 21:27:33 Starting compiler/backend/cv_compute
Jul 26 21:29:19 Finished compiler/backend/cv_compute                           1m44s   3GB
Jul 26 21:29:20 Starting cv_translator
Jul 26 21:49:03 Finished cv_translator                                        19m42s  13GB
Jul 26 21:49:04 Starting candle/set-theory
Jul 26 21:49:54 Finished candle/set-theory                                       48s   1GB
Jul 26 21:49:55 Starting candle/syntax-lib
Jul 26 21:49:56 Finished candle/syntax-lib                                        0s  76MB
Jul 26 21:49:57 Starting candle/standard/syntax
Jul 26 21:50:16 Finished candle/standard/syntax                                  17s   1GB
Jul 26 21:50:16 Starting candle/standard/semantics
Jul 26 21:52:54 Finished candle/standard/semantics                             2m36s   2GB
Jul 26 21:52:54 Starting candle/standard/monadic
Jul 26 21:52:56 Finished candle/standard/monadic                                  0s 106MB
Jul 26 21:52:57 Starting candle/standard/ml_kernel
Jul 26 21:54:58 Finished candle/standard/ml_kernel                             2m00s   7GB
Jul 26 21:54:59 Starting candle/overloading/syntax
Jul 26 21:58:43 Finished candle/overloading/syntax                             3m43s   3GB
Jul 26 21:58:44 Starting candle/overloading/semantics
Jul 26 22:10:36 Finished candle/overloading/semantics                         11m50s   8GB
Jul 26 22:10:37 Starting candle/overloading/monadic
Jul 26 22:13:19 Finished candle/overloading/monadic                            2m41s   2GB
Jul 26 22:13:20 Starting candle/overloading/ml_kernel
Jul 26 22:21:03 Finished candle/overloading/ml_kernel                          7m41s   6GB
Jul 26 22:21:04 Starting candle/overloading/ml_checker
Jul 26 22:23:45 Finished candle/overloading/ml_checker                         2m40s   7GB
Jul 26 22:23:46 Starting candle/prover
Jul 26 22:34:00 Finished candle/prover                                        10m13s   5GB
Jul 26 22:34:01 Starting pancake
Jul 26 22:35:07 Finished pancake                                               1m04s   1GB
Jul 26 22:35:07 Starting pancake/ffi
Jul 26 22:35:08 Finished pancake/ffi                                              0s  22MB
Jul 26 22:35:09 Starting pancake/semantics
Jul 26 22:37:54 Finished pancake/semantics                                     2m44s   2GB
Jul 26 22:37:55 Starting pancake/parser
Jul 26 22:38:29 Finished pancake/parser                                          32s   2GB
Jul 26 22:38:30 Starting pancake/proofs
Jul 26 23:09:54 Finished pancake/proofs                                       31m22s  11GB
Jul 26 23:09:54 Starting characteristic/examples
Jul 26 23:11:33 Finished characteristic/examples                               1m37s   6GB
Jul 26 23:11:34 Starting tutorial/solutions
Jul 26 23:14:08 Finished tutorial/solutions                                    2m32s   4GB
Jul 26 23:14:08 Starting translator/monadic/examples
Jul 26 23:18:08 Finished translator/monadic/examples                           3m58s   5GB
Jul 26 23:18:09 Starting examples
Jul 26 23:32:49 Finished examples                                             14m39s   8GB
Jul 26 23:32:50 Starting examples/compilation/x64
Jul 26 23:41:58 Finished examples/compilation/x64                              9m06s   7GB
Jul 26 23:41:59 Starting examples/compilation/x64/proofs
Jul 26 23:46:31 Finished examples/compilation/x64/proofs                       4m31s   9GB
Jul 26 23:46:32 Starting examples/compilation/ag32
Jul 26 23:49:08 Finished examples/compilation/ag32                             2m34s   5GB
Jul 26 23:49:08 Starting examples/compilation/ag32/proofs
Jul 26 23:51:02 Finished examples/compilation/ag32/proofs                      1m52s   9GB
Jul 26 23:51:03 Starting examples/compilation/to_word
Jul 26 23:55:01 Finished examples/compilation/to_word                          3m56s  12GB
Jul 26 23:55:02 Starting examples/lpr_checker
Jul 26 23:56:21 Finished examples/lpr_checker                                  1m18s   2GB
Jul 26 23:56:22 Starting examples/lpr_checker/array
Jul 27 00:25:17 Finished examples/lpr_checker/array                           28m54s  13GB
Jul 27 00:25:18 Starting examples/lpr_checker/array/compilation
Jul 27 00:27:49 Finished examples/lpr_checker/array/compilation                2m29s   9GB
Jul 27 00:27:50 Starting examples/lpr_checker/array/compilation/proofs
Jul 27 00:29:50 Finished examples/lpr_checker/array/compilation/proofs         1m59s   8GB
Jul 27 00:29:51 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 27 00:31:36 Finished examples/lpr_checker/array/compilation/proofsARM8     1m43s  10GB
Jul 27 00:31:37 Starting examples/xlrup_checker
Jul 27 00:32:52 Finished examples/xlrup_checker                                1m14s   2GB
Jul 27 00:32:53 Starting examples/xlrup_checker/array
Jul 27 00:47:48 Finished examples/xlrup_checker/array                         14m53s   8GB
Jul 27 00:47:49 Starting examples/xlrup_checker/array/compilation
Jul 27 00:49:14 Finished examples/xlrup_checker/array/compilation              1m24s   6GB
Jul 27 00:49:15 Starting examples/xlrup_checker/array/compilation/proofs
Jul 27 00:50:51 Finished examples/xlrup_checker/array/compilation/proofs       1m35s   7GB
Jul 27 00:50:52 Starting examples/pseudo_bool
Jul 27 00:52:59 Finished examples/pseudo_bool                                  2m06s   2GB
Jul 27 00:53:00 Starting examples/pseudo_bool/cnf_encoding
Jul 27 00:53:39 Finished examples/pseudo_bool/cnf_encoding                       37s   1GB
Jul 27 00:53:40 Starting examples/pseudo_bool/graph_encoding
Jul 27 00:54:33 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Jul 27 00:54:34 Starting examples/pseudo_bool/array
Jul 27 02:01:17 Finished examples/pseudo_bool/array                         1h06m41s  40GB
Jul 27 02:01:18 Starting examples/pseudo_bool/array/compilation
Jul 27 02:14:24 Finished examples/pseudo_bool/array/compilation               13m05s  30GB
Jul 27 02:14:25 Starting examples/pseudo_bool/array/compilation/proofs
Jul 27 02:18:22 Finished examples/pseudo_bool/array/compilation/proofs         3m56s   9GB
Jul 27 02:18:23 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 27 02:20:10 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m46s   9GB
Jul 27 02:20:11 Starting examples/opentheory
Jul 27 02:31:02 Finished examples/opentheory                                  10m49s   8GB
Jul 27 02:31:03 Starting examples/opentheory
Jul 27 02:31:04 Finished examples/opentheory                                      0s 136MB
Jul 27 02:31:05 Starting examples/opentheory/compilation
Jul 27 02:33:06 Finished examples/opentheory/compilation                       1m59s   8GB
Jul 27 02:33:06 Starting examples/opentheory/compilation/proofs
Jul 27 02:34:50 Finished examples/opentheory/compilation/proofs                1m42s   7GB
Jul 27 02:34:51 Starting examples/opentheory/compilation/ag32
Jul 27 02:36:59 Finished examples/opentheory/compilation/ag32                  2m07s   9GB
Jul 27 02:36:59 Starting examples/opentheory/compilation/ag32/proofs
Jul 27 02:39:21 Finished examples/opentheory/compilation/ag32/proofs           2m20s  12GB
Jul 27 02:39:22 Starting examples/sat_encodings
Jul 27 02:42:22 Finished examples/sat_encodings                                2m58s   1GB
Jul 27 02:42:23 Starting examples/sat_encodings/case_studies
Jul 27 02:44:32 Finished examples/sat_encodings/case_studies                   2m08s   2GB
Jul 27 02:44:33 Starting examples/sat_encodings/translation
Jul 27 02:50:51 Finished examples/sat_encodings/translation                    6m17s   8GB
Jul 27 02:50:52 Starting examples/sat_encodings/translation/compilation
Jul 27 02:53:11 Finished examples/sat_encodings/translation/compilation        2m18s   6GB
Jul 27 02:53:12 Starting examples/deflate
Jul 27 02:54:37 Finished examples/deflate                                      1m24s   2GB
Jul 27 02:54:38 Starting examples/deflate/translation
Jul 27 02:56:19 Finished examples/deflate/translation                          1m40s   7GB
Jul 27 02:56:20 Starting examples/deflate/translation/compilation
Jul 27 02:57:24 Finished examples/deflate/translation/compilation              1m03s   5GB
Jul 27 02:57:25 Starting examples/vipr
Jul 27 03:01:31 Finished examples/vipr                                         4m04s   7GB
Jul 27 03:01:32 Starting examples/vipr/compilation
Jul 27 03:02:48 Finished examples/vipr/compilation                             1m15s   6GB
Jul 27 03:02:48 Starting translator/okasaki-examples
Jul 27 03:07:57 Finished translator/okasaki-examples                           5m08s   6GB
Jul 27 03:07:58 Starting translator/other-examples
Jul 27 03:09:11 Finished translator/other-examples                             1m12s   3GB
Jul 27 03:09:12 Starting compiler/parsing/tests
Jul 27 03:09:47 Finished compiler/parsing/tests                                  33s   2GB
Jul 27 03:09:48 Starting compiler/inference/tests
Jul 27 03:10:29 Finished compiler/inference/tests                                39s   3GB
Jul 27 03:10:30 Starting compiler/printing/test
Jul 27 03:12:04 Finished compiler/printing/test                                1m33s   6GB
Jul 27 03:12:05 Starting icing/flover
Jul 27 03:48:56 Finished icing/flover                                         36m49s   4GB
Jul 27 03:48:56 Starting icing/
Jul 27 04:16:50 Finished icing/                                               27m52s  10GB
Jul 27 04:16:51 Starting icing/examples
Jul 27 04:18:32 Finished icing/examples                                        1m40s   8GB
Jul 27 04:18:33 Starting compiler/repl
Jul 27 04:27:30 Finished compiler/repl                                         8m55s   9GB
Jul 27 04:27:31 Starting unverified/sexpr-bootstrap/x64/64
Jul 27 04:39:06 FAILED: unverified/sexpr-bootstrap/x64/64
Scanning $(HOLDIR)/src/bag
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(HOLDIR)/src/ring/src
Scanning $(HOLDIR)/src/integer
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/algebra/base
Scanning $(HOLDIR)/src/algebra/construction
Scanning $(HOLDIR)/src/algebra
Scanning $(HOLDIR)/src/hol88
Scanning $(HOLDIR)/src/rational
Scanning $(HOLDIR)/src/real
Scanning $(HOLDIR)/src/floating-point
Scanning $(HOLDIR)/src/monad/more_monads
Scanning $(HOLDIR)/src/update
Scanning $(HOLDIR)/examples/l3-machine-code/common
Scanning $(HOLDIR)/examples/l3-machine-code/lib
Scanning $(HOLDIR)/examples/l3-machine-code/arm/model
Scanning $(HOLDIR)/examples/l3-machine-code/arm8/model
Scanning $(HOLDIR)/examples/l3-machine-code/mips/model
Scanning $(HOLDIR)/examples/l3-machine-code/riscv/model
Scanning $(HOLDIR)/examples/l3-machine-code/x64/model
Scanning $(HOLDIR)/examples/balanced_bst
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/fun-op-sem/lprefix_lub
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
Scanning $(CAKEMLDIR)/basis
Scanning $(HOLDIR)/examples/algorithms
Scanning $(HOLDIR)/examples/machine-code/multiword
Scanning $(CAKEMLDIR)/compiler/backend/pattern_matching
Scanning $(CAKEMLDIR)/unverified/reg_alloc
Scanning $(CAKEMLDIR)/compiler/backend/reg_alloc
Scanning $(CAKEMLDIR)/compiler/encoders/asm
Scanning $(CAKEMLDIR)/compiler/backend
Scanning $(CAKEMLDIR)/compiler/encoders/ag32
Scanning $(CAKEMLDIR)/compiler/backend/ag32
Scanning $(HOLDIR)/examples/machine-code/decompiler
Scanning $(HOLDIR)/examples/l3-machine-code
Scanning $(HOLDIR)/examples/l3-machine-code/arm/step
Scanning $(CAKEMLDIR)/compiler/encoders/arm7
Scanning $(CAKEMLDIR)/compiler/backend/arm7
Scanning $(HOLDIR)/examples/l3-machine-code/arm8/step
Scanning $(CAKEMLDIR)/compiler/encoders/arm8
Scanning $(CAKEMLDIR)/compiler/backend/arm8
Scanning $(HOLDIR)/examples/l3-machine-code/mips/step
Scanning $(CAKEMLDIR)/compiler/encoders/mips
Scanning $(CAKEMLDIR)/compiler/backend/mips
Scanning $(HOLDIR)/examples/l3-machine-code/riscv/step
Scanning $(CAKEMLDIR)/compiler/encoders/riscv
Scanning $(CAKEMLDIR)/compiler/backend/riscv
Scanning $(HOLDIR)/examples/l3-machine-code/x64/step
Scanning $(CAKEMLDIR)/compiler/encoders/x64
Scanning $(CAKEMLDIR)/compiler/backend/x64
Scanning $(HOLDIR)/examples/algorithms/unification/triangular
Scanning $(HOLDIR)/src/transfer/examples
Scanning $(HOLDIR)/examples/algorithms/unification/triangular/first-order
Scanning $(HOLDIR)/examples/algorithms/unification/triangular/first-order/compilation
Scanning $(CAKEMLDIR)/compiler/inference
Scanning $(CAKEMLDIR)/pancake
Scanning $(CAKEMLDIR)/pancake/parser
Scanning $(CAKEMLDIR)/compiler
Scanning $(CAKEMLDIR)/compiler/backend/reg_alloc/proofs
Scanning $(CAKEMLDIR)/compiler/backend/serialiser
Scanning $(CAKEMLDIR)/compiler/encoders/monadic_enc
Scanning $(CAKEMLDIR)/compiler/parsing/ocaml
Scanning $(CAKEMLDIR)/candle/standard/ml_kernel/lisp
Scanning $(CAKEMLDIR)/candle/syntax-lib
Scanning $(CAKEMLDIR)/candle/standard/syntax
Scanning $(CAKEMLDIR)/candle/standard/monadic
Scanning $(CAKEMLDIR)/candle/standard/ml_kernel
Scanning $(CAKEMLDIR)/candle/set-theory
Scanning $(CAKEMLDIR)/candle/standard/semantics
Scanning $(CAKEMLDIR)/candle/prover/compute
Scanning $(CAKEMLDIR)/candle/prover
Scanning $(CAKEMLDIR)/compiler/inference/proofs
Scanning $(CAKEMLDIR)/compiler/printing
Scanning $(CAKEMLDIR)/compiler/repl
Scanning $(CAKEMLDIR)/compiler/bootstrap/translation
Scanning $(CAKEMLDIR)/developers/bin
Scanning $(CAKEMLDIR)/unverified/sexpr-bootstrap
Scanned 100 directories
Starting work on cake.S
Starting work on README.md
Starting work on cake-sexpr-x64-64
README.md                        unverified/sexpr-bootstrap/x64/64  (0s)     OK
cake.S                                              developers/bin  (0s)     OK
cake-sexpr-x64-64                unverified/sexpr-bootstrap/x64/64(170s)     OK
Starting work on cake.S
cake.S                           unverified/sexpr-bootstrap/x64/64(456s)     OK
Starting work on cake
cake                             unverified/sexpr-bootstrap/x64/64  (8s)     OK
Starting work on basis-types-output
Starting work on extract_code.cake
basis-types-output               unverified/sexpr-bootstrap/x64/64  (0s)     OK
Starting work on basis-types-output
basis-types-output               unverified/sexpr-bootstrap/x64/64  (0s)FAIL<1>
 291d290
 < Double.pp_double: Double.double -> PrettyPrinter.pp_data
extract_code.cake                unverified/sexpr-bootstrap/x64/64  (0s)MKILLED