Job 1935

CakeML:e4cd72fd1ede8df7cfa636a0f09d0f62c101758e
  Changes due to real constants moving in HOL master [Jun 21 03:24:01]
HOL:3810cf53c6050c5b2748cb042415145bd842957f
  Make parsing in RealField properly independent of context [Jun 21 00:55:21]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jun 21 03:29:02 Claimed job
Jun 21 03:30:19 Building HOL
Jun 21 03:42:34 Starting developers
Jun 21 03:42:39 Finished developers                                               5s  85MB
Jun 21 03:42:39 Starting developers/bin
Jun 21 03:44:14 Finished developers/bin                                        1m34s   1GB
Jun 21 03:44:14 Starting semantics/ffi
Jun 21 03:44:25 Finished semantics/ffi                                           10s 218MB
Jun 21 03:44:26 Starting semantics
Jun 21 03:47:16 Finished semantics                                             2m50s   1GB
Jun 21 03:47:17 Starting semantics/proofs
Jun 21 03:54:58 Finished semantics/proofs                                      7m40s   1GB
Jun 21 03:54:58 Starting semantics/alt_semantics
Jun 21 03:55:27 Finished semantics/alt_semantics                                 29s 582MB
Jun 21 03:55:27 Starting semantics/alt_semantics/proofs
Jun 21 04:07:53 Finished semantics/alt_semantics/proofs                       12m25s   1GB
Jun 21 04:07:53 Starting basis/pure
Jun 21 04:11:46 Finished basis/pure                                            3m52s   1GB
Jun 21 04:11:46 Starting translator
Jun 21 04:15:41 Finished translator                                            3m54s   1GB
Jun 21 04:15:41 Starting compiler/parsing
Jun 21 04:17:18 Finished compiler/parsing                                      1m36s   5GB
Jun 21 04:17:18 Starting characteristic
Jun 21 04:24:35 Finished characteristic                                        7m16s   1GB
Jun 21 04:24:35 Starting translator/monadic
Jun 21 04:26:41 Finished translator/monadic                                    2m05s   1GB
Jun 21 04:26:41 Starting basis
Jun 21 04:32:33 FAILED: basis
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/quotient/src
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/balanced_bst
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/fun-op-sem/lprefix_lub
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
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
Scanned 28 directories
Starting work on RuntimeProgTheory
Starting work on clFFITheory
Starting work on MarshallingTheory
Starting work on README.md
README.md                                                           (0s)     OK
Starting work on runtimeFFITheory
MarshallingTheory                                                  (12s)     OK
Starting work on fsFFITheory
runtimeFFITheory                                                   (14s)     OK
Starting work on basis_ffi.o
basis_ffi.o                                                         (0s)     OK
clFFITheory                                                        (15s)     OK
RuntimeProgTheory                                                  (29s)     OK
Starting work on OptionProgTheory
Starting work on RuntimeProofTheory
fsFFITheory                                                        (24s)     OK
Starting work on fsFFIPropsTheory
OptionProgTheory                                                   (17s)     OK
Starting work on ListProgTheory
RuntimeProofTheory                                                 (28s)     OK
fsFFIPropsTheory                                                   (60s)     OK
ListProgTheory                                                     (55s)     OK
Starting work on VectorProgTheory
Starting work on ListProofTheory
ListProofTheory                                                    (27s)     OK
VectorProgTheory                                                   (35s)     OK
Starting work on StringProgTheory
StringProgTheory                                                   (41s)     OK
Starting work on mlbasicsProgTheory
mlbasicsProgTheory                                                 (43s)     OK
Starting work on IntProgTheory
IntProgTheory                                                      (42s)     OK
Starting work on PrettyPrinterProgTheory
PrettyPrinterProgTheory                                            (29s)     OK
Starting work on RatProgTheory
RatProgTheory                                                      (37s)FAIL<1>
 Adding nsLookup representation thms for [RatProg_env_5]
 Saved theorem _______ "nsLookup_RatProg_env_6_pfun_eqs"
 Saved theorem _______ "pair_compare_v_thm"
 Translating rat_min
 Adding nsLookup representation thms for [RatProg_env_6]
 Saved theorem _______ "nsLookup_RatProg_env_7_pfun_eqs"
 Saved theorem _______ "rat_min_v_thm"
 error in quse /home/cake/oven/regression/cakeml-1935/basis/RatProgScript.sml : HOL_ERR {message = "\"min\" not found in theory \"real\"", origin_function = "prim_mk_const", origin_structure = "Term"}
 error in load /home/cake/oven/regression/cakeml-1935/basis/RatProgScript : HOL_ERR {message = "\"min\" not found in theory \"real\"", origin_function = "prim_mk_const", origin_structure = "Term"}
 Uncaught exception: HOL_ERR {message = "\"min\" not found in theory \"real\"", origin_function = "prim_mk_const", origin_structure = "Term"}