Job 270

CakeML:6c7ef75ebf692e665ab4f1097d535a47562ab5a4
  Merge remote-tracking branch 'origin/master' into trans-ind [Mar 28 15:45:17]
#478 (trans-ind)
Merging into:b77edc32a387f909ad346f73b29fe4c9042e91fe
  Use relative paths for early upload [Mar 19 21:42:51]
HOL:e2d3ec5cc9b32a710a646f559860ab6796e1c52b
  Merge branch 'pretty' [Mar 28 04:59:21]
Machine:cakeml1795 4.4.0-98-generic x86_64 GNU/Linux

Mar 28 17:31:23 Claimed job
Mar 28 17:31:33 Building HOL
Mar 28 17:44:34 Starting developers/bin
Mar 28 17:44:47 Finished developers/bin                                          11s 136MB
Mar 28 17:44:49 Starting semantics/ffi
Mar 28 17:46:01 Finished semantics/ffi                                         1m09s 364MB
Mar 28 17:46:02 Starting semantics
Mar 28 17:48:46 Finished semantics                                             2m41s   1GB
Mar 28 17:48:48 Starting semantics/proofs
Mar 28 17:52:29 Finished semantics/proofs                                      3m38s   1GB
Mar 28 17:52:31 Starting basis/pure
Mar 28 17:58:56 Finished basis/pure                                            6m23s 673MB
Mar 28 17:58:58 Starting translator
Mar 28 18:03:20 FAILED: translator
]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/formal-languages]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/formal-languagesWorking in $(HOLDIR)/examples/formal-languages
]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/formal-languages/context-free]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/formal-languages/context-freeWorking in $(HOLDIR)/examples/formal-languages/context-free
]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/formal-languages/regularWorking in $(HOLDIR)/examples/formal-languages/regular
]0;Holmake: ../basis/pure]0;Holmake: ../misc]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/fun-op-sem/lprefix_lub]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/fun-op-sem/lprefix_lubWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub
]0;Holmake: ../misc]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/machine-code/hoare-triple]0;Holmake: /scratch/cakeml/regression/HOL-e2d3ec5cc9b32a710a646f559860ab6796e1c52b/examples/machine-code/hoare-tripleWorking in $(HOLDIR)/examples/machine-code/hoare-triple
]0;Holmake: ../misc]0;Holmake: ../developers]0;Holmake: ../developersWorking in ../developers
]0;Holmake: ../misc]0;Holmake: ../misc/lem_lib_stub]0;Holmake: ../misc/lem_lib_stubWorking in $(CAKEMLDIR)/misc/lem_lib_stub
]0;Holmake: ../misc]0;Holmake: ../miscWorking in $(CAKEMLDIR)/misc
]0;Holmake: ../basis/pure]0;Holmake: ../basis/pureWorking in $(CAKEMLDIR)/basis/pure
]0;Holmake: .]0;Holmake: ../semantics]0;Holmake: ../semantics/ffi]0;Holmake: ../semantics/ffiWorking in $(CAKEMLDIR)/semantics/ffi
]0;Holmake: ../semantics]0;Holmake: ../semanticsWorking in $(CAKEMLDIR)/semantics
]0;Holmake: .]0;Holmake: ../semantics/alt_semantics]0;Holmake: ../semantics/alt_semanticsWorking in $(CAKEMLDIR)/semantics/alt_semantics
Starting work on bigStepScript
Starting work on heap
bigStepScript                                                                OK
heap                                                                         OK
Starting work on smallStepTheory
smallStepTheory                                                              OK
Starting work on bigStepTheory
bigStepTheory                                                                OK
]0;Holmake: .]0;Holmake: ../semantics/alt_semantics/proofs]0;Holmake: ../semantics/proofs]0;Holmake: ../semantics/proofsWorking in $(CAKEMLDIR)/semantics/proofs
]0;Holmake: ../semantics/alt_semantics/proofs]0;Holmake: ../semantics/alt_semantics/proofsWorking in $(CAKEMLDIR)/semantics/alt_semantics/proofs
Starting work on heap
Starting work on bigSmallInvariantsScript
bigSmallInvariantsScript                                                     OK
heap                                                                         OK
Starting work on determTheory
Starting work on bigSmallInvariantsTheory
Starting work on bigStepPropsTheory
bigSmallInvariantsTheory                                                     OK
determTheory                                                                 OK
Starting work on bigClockTheory
bigStepPropsTheory                                                           OK
bigClockTheory                                                               OK
Starting work on bigSmallEquivTheory
Starting work on interpTheory
interpTheory                                                                 OK
Starting work on funBigStepEquivTheory
funBigStepEquivTheory                                                        OK
bigSmallEquivTheory                                                          OK
Starting work on untypedSafetyTheory
untypedSafetyTheory                                                          OK
]0;Holmake: .]0;Holmake: .Working in $(CAKEMLDIR)/translator
Starting work on heap
heap                                                                FAILED! <1>
 Loading ../semantics/astTheory
 Loading ../semantics/tokensTheory
 Loading ../semantics/semanticPrimitivesTheory
 Loading ../semantics/astPP
 /scratch/cakeml/regression/cakeml-270/semantics/astPP.sml:42: error: Type constructor (term_pp_types.ppstream_funs) requires 1 type(s) not 0
 error in quse /scratch/cakeml/regression/cakeml-270/semantics/astPP.sml : Fail "Static Errors"
 error in load ../semantics/astPP : Fail "Static Errors"
 Loading ../semantics/astPP: Fail "Static Errors"