Job 740

CakeML:9feef1ec9f25ce1fd0474f285b4d07464ed21dbf
  Stop assuming term eqtype in ml_monad_translatorBase [Feb 16 11:48:28]
HOL:31f0cd619fcb55a888e26df3befd61f99e6d0578
  Fix minor problems in DESCRIPTION's description of parsing/printing [Feb 20 08:52:50]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Feb 21 09:51:13 Claimed job
Feb 21 09:51:47 Building HOL
Feb 21 09:59:51 Starting developers
Feb 21 09:59:52 Finished developers                                               0s  22MB
Feb 21 09:59:53 Starting developers/bin
Feb 21 10:00:25 Finished developers/bin                                          32s 204MB
Feb 21 10:00:26 Starting semantics/ffi
Feb 21 10:01:03 Finished semantics/ffi                                           36s 463MB
Feb 21 10:01:04 Starting semantics
Feb 21 10:02:43 Finished semantics                                             1m37s   1GB
Feb 21 10:02:43 Starting semantics/proofs
Feb 21 10:05:44 Finished semantics/proofs                                      3m00s   1GB
Feb 21 10:05:45 Starting basis/pure
Feb 21 10:09:28 Finished basis/pure                                            3m42s 690MB
Feb 21 10:09:29 Starting translator
Feb 21 10:11:16 Finished translator                                            1m46s   1GB
Feb 21 10:11:17 Starting compiler/parsing
Feb 21 10:12:23 Finished compiler/parsing                                      1m05s   2GB
Feb 21 10:12:23 Starting characteristic
Feb 21 10:16:50 Finished characteristic                                        4m25s   1GB
Feb 21 10:16:51 Starting translator/monadic
Feb 21 10:18:19 Finished translator/monadic                                    1m27s   1GB
Feb 21 10:18:20 Starting basis
Feb 21 10:18:39 FAILED: basis
]0;Holmake: pure]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/formal-languages]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/formal-languages/context-free]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/formal-languages/regular]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: pure]0;Holmake: ~/regression/cakeml-740/misc]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ~/regression/cakeml-740/misc]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/machine-code/hoare-triple]0;Holmake: ~/regression/HOL-31f0cd619fcb55a888e26df3befd61f99e6d0578/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ~/regression/cakeml-740/misc]0;Holmake: ~/regression/cakeml-740/developers]0;Holmake: ~/regression/cakeml-740/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/regression/cakeml-740/misc]0;Holmake: ~/regression/cakeml-740/misc/lem_lib_stub]0;Holmake: ~/regression/cakeml-740/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/regression/cakeml-740/misc]0;Holmake: ~/regression/cakeml-740/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: pure]0;Holmake: pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: .]0;Holmake: ~/regression/cakeml-740/characteristic]0;Holmake: ~/regression/cakeml-740/compiler/parsing]0;Holmake: ~/regression/cakeml-740/semantics]0;Holmake: ~/regression/cakeml-740/semantics/ffi]0;Holmake: ~/regression/cakeml-740/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/regression/cakeml-740/semantics]0;Holmake: ~/regression/cakeml-740/semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ~/regression/cakeml-740/compiler/parsing]0;Holmake: ~/regression/cakeml-740/compiler/parsing[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: ~/regression/cakeml-740/characteristic]0;Holmake: ~/regression/cakeml-740/semantics/proofs]0;Holmake: ~/regression/cakeml-740/semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: ~/regression/cakeml-740/characteristic]0;Holmake: ~/regression/cakeml-740/translator]0;Holmake: ~/regression/cakeml-740/translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: ~/regression/cakeml-740/characteristic]0;Holmake: ~/regression/cakeml-740/characteristic[1mWorking in $(CAKEMLDIR)/characteristic[0m
]0;Holmake: .]0;Holmake: ~/regression/cakeml-740/translator/monadic]0;Holmake: ~/regression/cakeml-740/translator/monadic/monad_base]0;Holmake: ~/regression/cakeml-740/translator/monadic/monad_base[1mWorking in $(CAKEMLDIR)/translator/monadic/monad_base[0m
]0;Holmake: ~/regression/cakeml-740/translator/monadic]0;Holmake: ~/regression/cakeml-740/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
runtimeFFITheory                                                                                           OK
Starting work on README.md
README.md                                                                                                  OK
Starting work on basis_ffi.o
basis_ffi.o                                                                                                OK
MarshallingTheory                                                                                          OK
Starting work on fsFFITheory
clFFITheory                                                                                                OK
RuntimeProgTheory                                                                                 FAILED! <1>
    fun ... 
    fun ... 
    ... 
    ...
    end
 error in quse /home/myreen/regression/cakeml-740/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