Job 2486

CakeML:5168cb644eb9d400becaf55b95d3f9af60fede6a
  Add double to prim_types [Jul 22 08:46:26]
#1023 (double-type-fix)
Merging into:fad3454fa9892ddb2c956d60af20f07548547963
  Merge pull request #1016 from talsewell/master [Jul 22 10:39:33]
HOL:c37de731916a5fe5fdc6218d4b2e19234435e4ce
  Add lots of regexp matching regression tests for DBSearchParser [Jul 15 06:13:45]
Machine:pavlova

Jul 25 04:05:06 Claimed job
Jul 25 04:05:10 Reusing HOL
Jul 25 04:05:21 Starting developers
Jul 25 04:05:24 Finished developers                                               2s 228MB
Jul 25 04:05:25 Starting developers/bin
Jul 25 04:05:36 Finished developers/bin                                           9s   1GB
Jul 25 04:05:37 Starting compiler/proofs
Jul 25 09:37:07 Resuming compiler/proofs
Jul 25 09:37:12 Finished compiler/proofs                                          4s 269MB
Jul 25 09:37:13 Starting compiler/bootstrap/translation
Jul 25 17:56:03 Finished compiler/bootstrap/translation                     8h18m49s  75GB
Jul 25 17:56:04 Starting semantics/ffi
Jul 25 17:56:13 Finished semantics/ffi                                            7s 622MB
Jul 25 17:56:14 Starting semantics
Jul 25 17:56:15 Finished semantics                                                0s  69MB
Jul 25 17:56:16 Starting semantics/proofs
Jul 25 17:56:53 Finished semantics/proofs                                        36s   1GB
Jul 25 17:56:54 Starting semantics/alt_semantics
Jul 25 17:57:36 Finished semantics/alt_semantics                                 41s   1GB
Jul 25 17:57:37 Starting semantics/alt_semantics/proofs
Jul 25 18:08:47 Finished semantics/alt_semantics/proofs                       11m09s   2GB
Jul 25 18:08:48 Starting basis/pure
Jul 25 18:08:50 Finished basis/pure                                               0s  70MB
Jul 25 18:08:50 Starting translator
Jul 25 18:10:41 Finished translator                                            1m50s   3GB
Jul 25 18:10:42 Starting compiler/parsing
Jul 25 18:10:44 Finished compiler/parsing                                         0s  71MB
Jul 25 18:10:44 Starting characteristic
Jul 25 18:10:46 Finished characteristic                                           0s  88MB
Jul 25 18:10:47 Starting translator/monadic
Jul 25 18:10:48 Finished translator/monadic                                       0s  93MB
Jul 25 18:10:49 Starting basis
Jul 25 18:14:24 Finished basis                                                 3m33s   5GB
Jul 25 18:14:25 Starting compiler/inference
Jul 25 18:14:26 Finished compiler/inference                                       0s  99MB
Jul 25 18:14:27 Starting compiler/backend/reg_alloc
Jul 25 18:14:29 Finished compiler/backend/reg_alloc                               0s  69MB
Jul 25 18:14:29 Starting compiler/backend/gc
Jul 25 18:14:31 Finished compiler/backend/gc                                      0s 137MB
Jul 25 18:14:32 Starting compiler/backend
Jul 25 18:14:53 Finished compiler/backend                                        19s   1GB
Jul 25 18:14:54 Starting compiler/encoders/asm
Jul 25 18:14:55 Finished compiler/encoders/asm                                    0s  91MB
Jul 25 18:14:56 Starting compiler/encoders/x64
Jul 25 18:14:58 Finished compiler/encoders/x64                                    0s 102MB
Jul 25 18:14:59 Starting compiler/encoders/arm7
Jul 25 18:15:00 Finished compiler/encoders/arm7                                   0s 102MB
Jul 25 18:15:01 Starting compiler/encoders/arm8
Jul 25 18:15:03 Finished compiler/encoders/arm8                                   0s  94MB
Jul 25 18:15:03 Starting compiler/encoders/arm8_asl
Jul 25 18:17:16 Finished compiler/encoders/arm8_asl                            2m12s   1GB
Jul 25 18:17:17 Starting compiler/encoders/mips
Jul 25 18:17:19 Finished compiler/encoders/mips                                   0s 101MB
Jul 25 18:17:20 Starting compiler/encoders/riscv
Jul 25 18:17:21 Finished compiler/encoders/riscv                                  0s 101MB
Jul 25 18:17:22 Starting compiler/encoders/ag32
Jul 25 18:17:24 Finished compiler/encoders/ag32                                   0s  96MB
Jul 25 18:17:24 Starting compiler/backend/x64
Jul 25 18:17:26 Finished compiler/backend/x64                                     0s 135MB
Jul 25 18:17:27 Starting compiler/backend/arm7
Jul 25 18:17:29 Finished compiler/backend/arm7                                    0s 135MB
Jul 25 18:17:30 Starting compiler/backend/arm8
Jul 25 18:17:32 Finished compiler/backend/arm8                                    0s 135MB
Jul 25 18:17:33 Starting compiler/backend/mips
Jul 25 18:17:34 Finished compiler/backend/mips                                    0s 135MB
Jul 25 18:17:35 Starting compiler/backend/riscv
Jul 25 18:17:37 Finished compiler/backend/riscv                                   0s 135MB
Jul 25 18:17:38 Starting compiler/backend/ag32
Jul 25 18:18:59 Finished compiler/backend/ag32                                 1m19s   2GB
Jul 25 18:18:59 Starting compiler/parsing/proofs
Jul 25 18:19:01 Finished compiler/parsing/proofs                                  0s  73MB
Jul 25 18:19:02 Starting compiler/inference/proofs
Jul 25 18:19:03 Finished compiler/inference/proofs                                0s  95MB
Jul 25 18:19:04 Starting compiler/backend/semantics
Jul 25 18:22:56 Finished compiler/backend/semantics                            3m51s   4GB
Jul 25 18:22:57 Starting compiler/backend/reg_alloc/proofs
Jul 25 18:22:59 Finished compiler/backend/reg_alloc/proofs                        0s  91MB
Jul 25 18:23:00 Starting compiler/backend/proofs
Jul 25 18:24:04 Finished compiler/backend/proofs                               1m03s   3GB
Jul 25 18:24:05 Starting compiler/backend/serialiser
Jul 25 18:24:07 Finished compiler/backend/serialiser                              0s 142MB
Jul 25 18:24:08 Starting compiler/encoders/x64/proofs
Jul 25 18:33:17 Finished compiler/encoders/x64/proofs                          9m07s   5GB
Jul 25 18:33:17 Starting compiler/encoders/arm7/proofs
Jul 25 18:46:16 Finished compiler/encoders/arm7/proofs                        12m57s  10GB
Jul 25 18:46:17 Starting compiler/encoders/arm8/proofs
Jul 25 18:52:42 Finished compiler/encoders/arm8/proofs                         6m24s   6GB
Jul 25 18:52:43 Starting compiler/encoders/arm8_asl/proofs
Jul 25 19:06:25 Finished compiler/encoders/arm8_asl/proofs                    13m41s   5GB
Jul 25 19:06:26 Starting compiler/encoders/mips/proofs
Jul 25 19:16:33 Finished compiler/encoders/mips/proofs                        10m05s   8GB
Jul 25 19:16:33 Starting compiler/encoders/riscv/proofs
Jul 25 19:24:38 Finished compiler/encoders/riscv/proofs                        8m03s   3GB
Jul 25 19:24:39 Starting compiler/encoders/ag32/proofs
Jul 25 19:27:01 Finished compiler/encoders/ag32/proofs                         2m21s   2GB
Jul 25 19:27:02 Starting compiler/backend/x64/proofs
Jul 25 19:27:45 Finished compiler/backend/x64/proofs                             42s   3GB
Jul 25 19:27:46 Starting compiler/backend/arm7/proofs
Jul 25 19:28:36 Finished compiler/backend/arm7/proofs                            49s   3GB
Jul 25 19:28:37 Starting compiler/backend/arm8/proofs
Jul 25 19:29:18 Finished compiler/backend/arm8/proofs                            40s   3GB
Jul 25 19:29:19 Starting compiler/backend/arm8_asl
Jul 25 19:29:48 Finished compiler/backend/arm8_asl                               28s   2GB
Jul 25 19:29:49 Starting compiler/backend/mips/proofs
Jul 25 19:30:35 Finished compiler/backend/mips/proofs                            44s   3GB
Jul 25 19:30:36 Starting compiler/backend/riscv/proofs
Jul 25 19:31:28 Finished compiler/backend/riscv/proofs                           50s   4GB
Jul 25 19:31:28 Starting compiler/backend/ag32/proofs
Jul 25 19:45:33 Finished compiler/backend/ag32/proofs                         14m03s   6GB
Jul 25 19:45:34 Starting compiler/backend/cv_compute
Jul 25 19:47:20 Finished compiler/backend/cv_compute                           1m44s   3GB
Jul 25 19:47:21 Starting cv_translator
Jul 25 20:06:32 Finished cv_translator                                        19m10s  12GB
Jul 25 20:06:33 Starting candle/set-theory
Jul 25 20:07:21 Finished candle/set-theory                                       47s   1GB
Jul 25 20:07:21 Starting candle/syntax-lib
Jul 25 20:07:23 Finished candle/syntax-lib                                        0s  72MB
Jul 25 20:07:24 Starting candle/standard/syntax
Jul 25 20:07:42 Finished candle/standard/syntax                                  17s   1GB
Jul 25 20:07:43 Starting candle/standard/semantics
Jul 25 20:10:21 Finished candle/standard/semantics                             2m36s   3GB
Jul 25 20:10:22 Starting candle/standard/monadic
Jul 25 20:10:23 Finished candle/standard/monadic                                  0s  98MB
Jul 25 20:10:24 Starting candle/standard/ml_kernel
Jul 25 20:12:23 Finished candle/standard/ml_kernel                             1m57s   7GB
Jul 25 20:12:24 Starting candle/overloading/syntax
Jul 25 20:16:05 Finished candle/overloading/syntax                             3m40s   3GB
Jul 25 20:16:06 Starting candle/overloading/semantics
Jul 25 20:27:27 Finished candle/overloading/semantics                         11m20s   6GB
Jul 25 20:27:28 Starting candle/overloading/monadic
Jul 25 20:30:07 Finished candle/overloading/monadic                            2m38s   3GB
Jul 25 20:30:08 Starting candle/overloading/ml_kernel
Jul 25 20:37:47 Finished candle/overloading/ml_kernel                          7m38s   7GB
Jul 25 20:37:48 Starting candle/overloading/ml_checker
Jul 25 20:40:26 Finished candle/overloading/ml_checker                         2m37s   7GB
Jul 25 20:40:27 Starting candle/prover
Jul 25 20:50:34 Finished candle/prover                                        10m05s   5GB
Jul 25 20:50:35 Starting pancake
Jul 25 20:51:42 Finished pancake                                               1m06s   1GB
Jul 25 20:51:43 Starting pancake/ffi
Jul 25 20:51:44 Finished pancake/ffi                                              0s  23MB
Jul 25 20:51:45 Starting pancake/semantics
Jul 25 20:54:29 Finished pancake/semantics                                     2m43s   3GB
Jul 25 20:54:30 Starting pancake/parser
Jul 25 20:55:04 Finished pancake/parser                                          32s   2GB
Jul 25 20:55:05 Starting pancake/proofs
Jul 25 21:26:18 Finished pancake/proofs                                       31m11s   8GB
Jul 25 21:26:19 Starting characteristic/examples
Jul 25 21:27:56 Finished characteristic/examples                               1m36s   6GB
Jul 25 21:27:57 Starting tutorial/solutions
Jul 25 21:30:32 Finished tutorial/solutions                                    2m34s   4GB
Jul 25 21:30:33 Starting translator/monadic/examples
Jul 25 21:34:31 Finished translator/monadic/examples                           3m56s   5GB
Jul 25 21:34:32 Starting examples
Jul 25 21:49:05 Finished examples                                             14m32s   7GB
Jul 25 21:49:06 Starting examples/compilation/x64
Jul 25 21:58:11 Finished examples/compilation/x64                              9m04s   6GB
Jul 25 21:58:12 Starting examples/compilation/x64/proofs
Jul 25 22:02:40 Finished examples/compilation/x64/proofs                       4m27s   9GB
Jul 25 22:02:41 Starting examples/compilation/ag32
Jul 25 22:05:19 Finished examples/compilation/ag32                             2m37s   5GB
Jul 25 22:05:20 Starting examples/compilation/ag32/proofs
Jul 25 22:07:11 Finished examples/compilation/ag32/proofs                      1m49s   9GB
Jul 25 22:07:12 Starting examples/compilation/to_word
Jul 25 22:11:10 Finished examples/compilation/to_word                          3m57s  13GB
Jul 25 22:11:11 Starting examples/lpr_checker
Jul 25 22:12:30 Finished examples/lpr_checker                                  1m18s   2GB
Jul 25 22:12:31 Starting examples/lpr_checker/array
Jul 25 22:41:15 Finished examples/lpr_checker/array                           28m43s  11GB
Jul 25 22:41:16 Starting examples/lpr_checker/array/compilation
Jul 25 22:43:45 Finished examples/lpr_checker/array/compilation                2m28s   8GB
Jul 25 22:43:46 Starting examples/lpr_checker/array/compilation/proofs
Jul 25 22:45:34 Finished examples/lpr_checker/array/compilation/proofs         1m47s   9GB
Jul 25 22:45:35 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 25 22:47:18 Finished examples/lpr_checker/array/compilation/proofsARM8     1m42s  10GB
Jul 25 22:47:19 Starting examples/xlrup_checker
Jul 25 22:48:32 Finished examples/xlrup_checker                                1m12s   1GB
Jul 25 22:48:33 Starting examples/xlrup_checker/array
Jul 25 23:03:41 Finished examples/xlrup_checker/array                         15m06s   7GB
Jul 25 23:03:42 Starting examples/xlrup_checker/array/compilation
Jul 25 23:05:05 Finished examples/xlrup_checker/array/compilation              1m22s   5GB
Jul 25 23:05:05 Starting examples/xlrup_checker/array/compilation/proofs
Jul 25 23:06:47 Finished examples/xlrup_checker/array/compilation/proofs       1m41s   8GB
Jul 25 23:06:48 Starting examples/pseudo_bool
Jul 25 23:09:00 Finished examples/pseudo_bool                                  2m11s   1GB
Jul 25 23:09:01 Starting examples/pseudo_bool/cnf_encoding
Jul 25 23:09:40 Finished examples/pseudo_bool/cnf_encoding                       38s   1GB
Jul 25 23:09:41 Starting examples/pseudo_bool/graph_encoding
Jul 25 23:10:35 Finished examples/pseudo_bool/graph_encoding                     53s   1GB
Jul 25 23:10:36 Starting examples/pseudo_bool/array
Jul 26 00:18:24 Finished examples/pseudo_bool/array                         1h07m47s  32GB
Jul 26 00:18:25 Starting examples/pseudo_bool/array/compilation
Jul 26 00:31:40 Finished examples/pseudo_bool/array/compilation               13m14s  28GB
Jul 26 00:31:41 Starting examples/pseudo_bool/array/compilation/proofs
Jul 26 00:35:48 Finished examples/pseudo_bool/array/compilation/proofs         4m05s   9GB
Jul 26 00:35:49 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 26 00:37:39 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m49s   9GB
Jul 26 00:37:40 Starting examples/opentheory
Jul 26 00:48:31 Finished examples/opentheory                                  10m50s   8GB
Jul 26 00:48:32 Starting examples/opentheory
Jul 26 00:48:34 Finished examples/opentheory                                      0s 136MB
Jul 26 00:48:35 Starting examples/opentheory/compilation
Jul 26 00:50:36 Finished examples/opentheory/compilation                       2m00s   8GB
Jul 26 00:50:37 Starting examples/opentheory/compilation/proofs
Jul 26 00:52:26 Finished examples/opentheory/compilation/proofs                1m48s   7GB
Jul 26 00:52:27 Starting examples/opentheory/compilation/ag32
Jul 26 00:54:38 Finished examples/opentheory/compilation/ag32                  2m09s   9GB
Jul 26 00:54:38 Starting examples/opentheory/compilation/ag32/proofs
Jul 26 00:57:03 Finished examples/opentheory/compilation/ag32/proofs           2m23s  11GB
Jul 26 00:57:04 Starting examples/sat_encodings
Jul 26 01:00:00 Finished examples/sat_encodings                                2m55s   2GB
Jul 26 01:00:01 Starting examples/sat_encodings/case_studies
Jul 26 01:02:09 Finished examples/sat_encodings/case_studies                   2m06s   2GB
Jul 26 01:02:10 Starting examples/sat_encodings/translation
Jul 26 01:08:35 Finished examples/sat_encodings/translation                    6m24s   7GB
Jul 26 01:08:36 Starting examples/sat_encodings/translation/compilation
Jul 26 01:10:57 Finished examples/sat_encodings/translation/compilation        2m20s   7GB
Jul 26 01:10:58 Starting examples/deflate
Jul 26 01:12:19 Finished examples/deflate                                      1m20s   1GB
Jul 26 01:12:20 Starting examples/deflate/translation
Jul 26 01:14:03 Finished examples/deflate/translation                          1m41s   7GB
Jul 26 01:14:04 Starting examples/deflate/translation/compilation
Jul 26 01:15:10 Finished examples/deflate/translation/compilation              1m05s   5GB
Jul 26 01:15:11 Starting examples/vipr
Jul 26 01:19:20 Finished examples/vipr                                         4m08s   8GB
Jul 26 01:19:21 Starting examples/vipr/compilation
Jul 26 01:20:37 Finished examples/vipr/compilation                             1m14s   5GB
Jul 26 01:20:38 Starting translator/okasaki-examples
Jul 26 01:25:47 Finished translator/okasaki-examples                           5m08s   5GB
Jul 26 01:25:48 Starting translator/other-examples
Jul 26 01:27:05 Finished translator/other-examples                             1m16s   3GB
Jul 26 01:27:06 Starting compiler/parsing/tests
Jul 26 01:27:41 Finished compiler/parsing/tests                                  33s   2GB
Jul 26 01:27:41 Starting compiler/inference/tests
Jul 26 01:28:22 Finished compiler/inference/tests                                39s   3GB
Jul 26 01:28:23 Starting compiler/printing/test
Jul 26 01:29:57 Finished compiler/printing/test                                1m33s   6GB
Jul 26 01:29:57 Starting icing/flover
Jul 26 02:07:35 Finished icing/flover                                         37m36s   4GB
Jul 26 02:07:35 Starting icing/
Jul 26 02:35:27 Finished icing/                                               27m49s   9GB
Jul 26 02:35:27 Starting icing/examples
Jul 26 02:37:11 Finished icing/examples                                        1m42s   9GB
Jul 26 02:37:12 Starting compiler/repl
Jul 26 02:46:07 Finished compiler/repl                                         8m54s   8GB
Jul 26 02:46:08 Starting unverified/sexpr-bootstrap/x64/64
Jul 26 02:57:53 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(175s)     OK
Starting work on cake.S
cake.S                           unverified/sexpr-bootstrap/x64/64(458s)     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