Overview

Job 86

CakeML:25e7ffcfca62d22962d8cb315a031f12e5ac2c51
  Merge branch 'avoid-parsing' of github.com:CakeML/cakeml into avoid-p
#406 (avoid-parsing)
Merging into:b580767cc0d5076e70d69c3fcdff347a7bb7d7f8
  Merge pull request #396 from CakeML/cleanup-201711
HOL:16df2e0e8dfeb682dffa9d87d6761b359def5b90
  Make Travis tests now use PolyML 5.7.1
Machine:cakeml1853 4.4.0-22-generic x86_64 GNU/Linux

 Claimed job
 Building HOL
 Starting semantics/ffi
 Finished semantics/ffi                                         1m04s 373MB
 Starting semantics
 Finished semantics                                             2m33s 930MB
 Starting semantics/proofs
 Finished semantics/proofs                                      3m23s   1GB
 Starting basis/pure
 Finished basis/pure                                            5m53s 621MB
 Starting translator
 Finished translator                                            6m50s   1GB
 Starting compiler/parsing
 Finished compiler/parsing                                      2m27s   2GB
 Starting characteristic
 Finished characteristic                                        4m30s   1GB
 Starting basis
 Finished basis                                                26m18s   2GB
 Starting translator/monadic
 FAILED: translator/monadic
]0;Holmake: ../../characteristicRecursively calling Holmake in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/machine-code/hoare-triple
]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/machine-code/hoare-triple]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/machine-code/hoare-tripleFinished recursive invocation in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/machine-code/hoare-triple
]0;Holmake: ../../characteristicRecursively calling Holmake in ../../compiler/parsing
]0;Holmake: ../../compiler/parsingRecursively calling Holmake in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages/context-free
]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages/context-free]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages/context-freeFinished recursive invocation in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages/context-free
]0;Holmake: ../../compiler/parsingRecursively calling Holmake in ../../misc
]0;Holmake: ../../miscRecursively calling Holmake in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/fun-op-sem/lprefix_lub
]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/fun-op-sem/lprefix_lub]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/fun-op-sem/lprefix_lubFinished recursive invocation in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/fun-op-sem/lprefix_lub
]0;Holmake: ../../miscRecursively calling Holmake in ../../developers
]0;Holmake: ../../developers]0;Holmake: ../../developersFinished recursive invocation in ../../developers
]0;Holmake: ../../miscRecursively calling Holmake in ../../misc/lem_lib_stub
]0;Holmake: ../../misc/lem_lib_stub]0;Holmake: ../../misc/lem_lib_stubFinished recursive invocation in ../../misc/lem_lib_stub
]0;Holmake: ../../misc]0;Holmake: ../../miscFinished recursive invocation in ../../misc
]0;Holmake: ../../compiler/parsingRecursively calling Holmake in ../../semantics
]0;Holmake: ../../semanticsRecursively calling Holmake in ../../semantics/ffi
]0;Holmake: ../../semantics/ffi]0;Holmake: ../../semantics/ffiFinished recursive invocation in ../../semantics/ffi
]0;Holmake: ../../semantics]0;Holmake: ../../semanticsFinished recursive invocation in ../../semantics
]0;Holmake: ../../compiler/parsing]0;Holmake: ../../compiler/parsingFinished recursive invocation in ../../compiler/parsing
]0;Holmake: ../../characteristicRecursively calling Holmake in ../../semantics/alt_semantics/proofs
]0;Holmake: ../../semantics/alt_semantics/proofsRecursively calling Holmake in ../../semantics/alt_semantics
]0;Holmake: ../../semantics/alt_semantics]0;Holmake: ../../semantics/alt_semanticsFinished recursive invocation in ../../semantics/alt_semantics
]0;Holmake: ../../semantics/alt_semantics/proofsRecursively calling Holmake in ../../semantics/proofs
]0;Holmake: ../../semantics/proofs]0;Holmake: ../../semantics/proofsFinished recursive invocation in ../../semantics/proofs
]0;Holmake: ../../semantics/alt_semantics/proofs]0;Holmake: ../../semantics/alt_semantics/proofsFinished recursive invocation in ../../semantics/alt_semantics/proofs
]0;Holmake: ../../characteristicRecursively calling Holmake in ../../translator
]0;Holmake: ../../translatorRecursively calling Holmake in ../../basis/pure
]0;Holmake: ../../basis/pureRecursively calling Holmake in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages/regular
]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/balanced_bst
]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/balanced_bst]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/balanced_bstFinished recursive invocation in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/balanced_bst
]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages/regularRecursively calling Holmake in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages
]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languagesFinished recursive invocation in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages
]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages/regular]0;Holmake: /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages/regularFinished recursive invocation in /scratch/cakeml/regression/HOL-16df2e0e8dfeb682dffa9d87d6761b359def5b90/examples/formal-languages/regular
]0;Holmake: ../../basis/pure]0;Holmake: ../../basis/pureFinished recursive invocation in ../../basis/pure
]0;Holmake: ../../translator]0;Holmake: ../../translatorFinished recursive invocation in ../../translator
]0;Holmake: ../../characteristic]0;Holmake: ../../characteristicFinished recursive invocation in ../../characteristic
]0;Holmake: .]0;Holmake: .Starting work on ml_monadBaseTheory
ml_monadBaseTheory                                                           OK
Starting work on ml_monad_translatorBaseTheory
ml_monad_translatorBaseTheory                                       FAILED! <1>
 /scratch/cakeml/regression/cakeml-86/characteristic/cfAppLib.sml:66: warning: Pattern is not exhaustive. Found near val (_, [x, ...]) = dest_pred t
 /scratch/cakeml/regression/cakeml-86/characteristic/cfAppLib.sml:98: warning: Pattern is not exhaustive.
 Found near val (concl_pred, [f_x, ...]) = dest_pred pure_post
 /scratch/cakeml/regression/cakeml-86/characteristic/cfNormaliseLib.sml:125: warning: Pattern is not exhaustive.
 Found near val ([f, x], _) = listSyntax.dest_list args_tm
 /scratch/cakeml/regression/cakeml-86/translator/monadic/ml_monad_translatorBaseScript.sml:5: error: Structure (basisFunctionsLib) has not been declared
 Found near open cfHeapsBaseTheory basisFunctionsLib AC_Sort
 error in quse /scratch/cakeml/regression/cakeml-86/translator/monadic/ml_monad_translatorBaseScript.sml : Fail "Static Errors"
 error in load ml_monad_translatorBaseScript : Fail "Static Errors"
 Uncaught exception: Fail "Static Errors"