Job 737

CakeML:9feef1ec9f25ce1fd0474f285b4d07464ed21dbf
  Stop assuming term eqtype in ml_monad_translatorBase [Feb 16 11:48:28]
HOL:f6cebae5343aba271ecb51708ac30766ab496ee4
  Git-Ignore Thm-sig.sml (new name for what was Thm.sig) [Feb 18 04:01:34]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Feb 20 10:11:18 Claimed job
Feb 20 10:11:41 Building HOL
Feb 20 10:19:14 Starting developers
Feb 20 10:19:15 Finished developers                                               0s  22MB
Feb 20 10:19:16 Starting developers/bin
Feb 20 10:19:51 Finished developers/bin                                          33s 143MB
Feb 20 10:19:51 Starting semantics/ffi
Feb 20 10:20:25 Finished semantics/ffi                                           32s 509MB
Feb 20 10:20:26 Starting semantics
Feb 20 10:21:55 Finished semantics                                             1m28s   1GB
Feb 20 10:21:56 Starting semantics/proofs
Feb 20 10:24:51 Finished semantics/proofs                                      2m54s   1GB
Feb 20 10:24:52 Starting basis/pure
Feb 20 10:28:25 Finished basis/pure                                            3m32s 789MB
Feb 20 10:28:26 Starting translator
Feb 20 10:30:00 Finished translator                                            1m33s   1GB
Feb 20 10:30:01 Starting compiler/parsing
Feb 20 10:30:59 Finished compiler/parsing                                        57s   1GB
Feb 20 10:31:00 Starting characteristic
Feb 20 10:35:16 Finished characteristic                                        4m15s   1GB
Feb 20 10:35:17 Starting translator/monadic
Feb 20 10:36:41 Finished translator/monadic                                    1m22s   1GB
Feb 20 10:36:41 Starting basis
Feb 20 10:37:02 FAILED: basis
]0;Holmake: pure]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/formal-languages]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/formal-languages/context-free]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: pure]0;Holmake: ~/regression/cakeml-737/misc]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ~/regression/cakeml-737/misc]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/machine-code/hoare-triple]0;Holmake: ~/regression/HOL-f6cebae5343aba271ecb51708ac30766ab496ee4/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ~/regression/cakeml-737/misc]0;Holmake: ~/regression/cakeml-737/developers]0;Holmake: ~/regression/cakeml-737/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/regression/cakeml-737/misc]0;Holmake: ~/regression/cakeml-737/misc/lem_lib_stub]0;Holmake: ~/regression/cakeml-737/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/regression/cakeml-737/misc]0;Holmake: ~/regression/cakeml-737/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: pure]0;Holmake: pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: .]0;Holmake: ~/regression/cakeml-737/characteristic]0;Holmake: ~/regression/cakeml-737/compiler/parsing]0;Holmake: ~/regression/cakeml-737/semantics]0;Holmake: ~/regression/cakeml-737/semantics/ffi]0;Holmake: ~/regression/cakeml-737/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/regression/cakeml-737/semantics]0;Holmake: ~/regression/cakeml-737/semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ~/regression/cakeml-737/compiler/parsing]0;Holmake: ~/regression/cakeml-737/compiler/parsing[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: ~/regression/cakeml-737/characteristic]0;Holmake: ~/regression/cakeml-737/semantics/proofs]0;Holmake: ~/regression/cakeml-737/semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: ~/regression/cakeml-737/characteristic]0;Holmake: ~/regression/cakeml-737/translator]0;Holmake: ~/regression/cakeml-737/translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: ~/regression/cakeml-737/characteristic]0;Holmake: ~/regression/cakeml-737/characteristic[1mWorking in $(CAKEMLDIR)/characteristic[0m
]0;Holmake: .]0;Holmake: ~/regression/cakeml-737/translator/monadic]0;Holmake: ~/regression/cakeml-737/translator/monadic/monad_base]0;Holmake: ~/regression/cakeml-737/translator/monadic/monad_base[1mWorking in $(CAKEMLDIR)/translator/monadic/monad_base[0m
]0;Holmake: ~/regression/cakeml-737/translator/monadic]0;Holmake: ~/regression/cakeml-737/translator/monadic[1mWorking in $(CAKEMLDIR)/translator/monadic[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/basis[0m
Starting work on RuntimeProgTheory
Starting work on clFFITheory
Starting work on MarshallingTheory
Starting work on runtimeFFITheory
MarshallingTheory                                                                                          OK
Starting work on fsFFITheory
runtimeFFITheory                                                                                           OK
Starting work on README.md
README.md                                                                                                  OK
Starting work on basis_ffi.o
basis_ffi.o                                                                                                OK
clFFITheory                                                                                                OK
RuntimeProgTheory                                                                                 FAILED! <1>
    fun ... 
    fun ... 
    ... 
    ...
    end
 error in quse /home/myreen/regression/cakeml-737/characteristic/cfLetAutoLib.sml : Fail "Static Errors"
 error in load $(CAKEMLDIR)/characteristic/cfLetAutoLib : Fail "Static Errors"
 error in load $(CAKEMLDIR)/characteristic/cfLib : Fail "Static Errors"
 error in load RuntimeProgScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"
fsFFITheory                                                                                          M-KILLED