Job 3033

CakeML:733259e260a608308d0719d4781df06e0772af73
  Ban Triviality [Nov 11 14:35:52]
#1261 (bye-triviality)
Merging into:92b3001cd02ef11bfddd1ec5572ef71db5d4de0f
  Merge pull request #1259 from CakeML/modern-syntax [Nov 11 13:07:45]
HOL:5d44f2fe1039d941831ee15ee0867c8cc2973f56
  Replace Datatype call with modern syntax in examples [Oct 26 23:02:27]
Machine:lammmington

Nov 11 21:53:22 Claimed job
Nov 11 21:53:26 Reusing HOL
Nov 11 21:53:33 Starting developers
Nov 11 21:53:38 Finished developers                                               3s 113MB
Nov 11 21:53:39 Starting developers/bin
Nov 11 21:53:43 Finished developers/bin                                           3s  91MB
Nov 11 21:53:44 Starting misc
Nov 11 21:54:22 Finished misc                                                    37s   1GB
Nov 11 21:54:23 Starting compiler/proofs
Nov 11 21:54:25 FAILED: compiler/proofs
Scanning $(HOLDIR)/src/bag
Scanning $(HOLDIR)/src/sort
Scanning $(HOLDIR)/src/string
Scanning $(HOLDIR)/src/n-bit
Scanning $(HOLDIR)/src/res_quan/src
Scanning $(HOLDIR)/src/finite_maps
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/src/integer
Scanning $(HOLDIR)/src/transfer
Scanning $(HOLDIR)/src/pred_set/src/more_theories
Scanning $(HOLDIR)/src/algebra/base
Scanning $(HOLDIR)/src/algebra/construction
Scanning $(HOLDIR)/src/algebra
Scanning $(HOLDIR)/src/hol88
Scanning $(HOLDIR)/src/rational
Scanning $(HOLDIR)/src/real
Scanning $(HOLDIR)/examples/data-structures/balanced_bst
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/src/search
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(HOLDIR)/src/coalgebras
Scanning $(HOLDIR)/examples/pl-semantics/lprefix_lub
Scanning $(CAKEMLDIR)/developers
Scanning $(CAKEMLDIR)/misc
Scanning $(CAKEMLDIR)/semantics/ffi
Scanning $(CAKEMLDIR)/semantics
Scanning $(CAKEMLDIR)/basis/pure
Scanning $(CAKEMLDIR)/semantics/proofs
Scanning $(CAKEMLDIR)/compiler/parsing
Scanning $(CAKEMLDIR)/translator
Holdep failed: ml_translatorLib.sml 4157.19 Illegal backslash escape >T< in string literal


Holmake died: Holmake failed with exception: HolDepFailed