OverviewCakeML:11ce5f9be7a62a7a9d1e8fc232d385c48c16d833
Hook up decoder to bootstrap translation
#841 (eval)
Merging into:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
Merge pull request #839 from CakeML/lpr_transform
HOL:273cdc329fc48311e6f259f3614f36602110742a
Fix diningcryptos example to cope with removal of REAL_SUM from miller
Machine:oven3 4.19.67.1.amd64-smp
Claimed job
Building HOL
Starting developers
Finished developers 7s 141MB
Starting developers/bin
Finished developers/bin 12s 1GB
Starting semantics/ffi
Finished semantics/ffi 25s 247MB
Starting semantics
FAILED: semantics
Scanning [1m$(HOLDIR)/src/sort[0m
Scanning [1m$(HOLDIR)/src/string[0m
Scanning [1m$(HOLDIR)/src/n-bit[0m
Scanning [1m$(HOLDIR)/src/res_quan/src[0m
Scanning [1m$(HOLDIR)/src/finite_maps[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/context-free[0m
Scanning [1m$(HOLDIR)/src/quotient/src[0m
Scanning [1m$(HOLDIR)/src/transfer[0m
Scanning [1m$(HOLDIR)/src/pred_set/src/more_theories[0m
Scanning [1m$(HOLDIR)/src/coalgebras[0m
Scanning [1m$(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
Scanning [1m$(CAKEMLDIR)/developers[0m
Scanning [1m$(HOLDIR)/examples/machine-code/hoare-triple[0m
Scanning [1m$(CAKEMLDIR)/misc/lem_lib_stub[0m
Scanning [1m$(CAKEMLDIR)/misc[0m
Scanning [1m$(CAKEMLDIR)/semantics/ffi[0m
Holdep failed: lexer_funScript.sml 515.1 Unterminated string literal
Holmake failed with exception: HolDepFailed
Raised from: /root/regression/HOL-273cdc329fc48311e6f259f3614f36602110742a/tools/Holmake/Holmake_tools.sml: 756:0 - 756:0