Job 783

CakeML:987a0367d297d926d763919e92ffc28c1a4992aa
  Merge branch 'master' into vstte18 [Apr 10 12:49:56]
#629 (vstte18)
Merging into:ab7ea440afff89d5f90e2b85415c2e27f7894561
  Use Theory.current_definitions instead of fetch [Apr 10 09:36:45]
HOL:729baf5e526741114f4346767d17d0da3a1b6c20
  Remove (generated file) Thm-sig.sml when cleaning src/thm [Apr 07 04:31:14]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Apr 10 13:54:14 Claimed job
Apr 10 13:54:18 Reusing HOL
Apr 10 13:54:23 Starting developers
Apr 10 13:54:24 Finished developers                                               0s  31MB
Apr 10 13:54:24 Starting developers/bin
Apr 10 13:54:59 Finished developers/bin                                          34s 204MB
Apr 10 13:55:00 Starting semantics/ffi
Apr 10 13:55:08 Finished semantics/ffi                                            7s 229MB
Apr 10 13:55:08 Starting semantics
Apr 10 13:56:25 Finished semantics                                             1m16s   1GB
Apr 10 13:56:25 Starting semantics/proofs
Apr 10 13:59:20 Finished semantics/proofs                                      2m53s   1GB
Apr 10 13:59:20 Starting basis/pure
Apr 10 14:00:04 Finished basis/pure                                              43s 554MB
Apr 10 14:00:04 Starting translator
Apr 10 14:01:42 Finished translator                                            1m36s   1GB
Apr 10 14:01:42 Starting compiler/parsing
Apr 10 14:01:45 FAILED: compiler/parsing
]0;Holmake: .]0;Holmake: ~/regression/cakeml-783/misc]0;Holmake: ~/regression/HOL-729baf5e526741114f4346767d17d0da3a1b6c20/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/regression/HOL-729baf5e526741114f4346767d17d0da3a1b6c20/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ~/regression/cakeml-783/misc]0;Holmake: ~/regression/HOL-729baf5e526741114f4346767d17d0da3a1b6c20/examples/machine-code/hoare-triple]0;Holmake: ~/regression/HOL-729baf5e526741114f4346767d17d0da3a1b6c20/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ~/regression/cakeml-783/misc]0;Holmake: ~/regression/cakeml-783/developers]0;Holmake: ~/regression/cakeml-783/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/regression/cakeml-783/misc]0;Holmake: ~/regression/cakeml-783/misc/lem_lib_stub]0;Holmake: ~/regression/cakeml-783/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/regression/cakeml-783/misc]0;Holmake: ~/regression/cakeml-783/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: .]0;Holmake: ~/regression/cakeml-783/semantics]0;Holmake: ~/regression/cakeml-783/semantics/ffi]0;Holmake: ~/regression/cakeml-783/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/regression/cakeml-783/semantics]0;Holmake: ~/regression/cakeml-783/semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
Starting work on cmlPEGTheory
Starting work on fromSexpTheory
Starting work on lexer_implTheory
Starting work on README.md
README.md                                                                    OK
cmlPEGTheory                                                        FAILED! <1>
 /home/myreen/regression/cakeml-783/compiler/parsing/cmlPEGScript.sml:15: error: Value or constructor (new_storage_attribute) has not been declared
 Found near new_storage_attribute "cakeml/parsing"
 error in quse /home/myreen/regression/cakeml-783/compiler/parsing/cmlPEGScript.sml : Fail "Static Errors"
 error in load cmlPEGScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"
fromSexpTheory                                                         M-KILLED
lexer_implTheory                                                       M-KILLED