OverviewCakeML:9933269a05282b7a4d973c3205de814384e0009f
Merge remote-tracking branch 'origin/master' into ocaml-parser
#1345 (ocaml-parser)
Merging into:48ce8d3f3d18621a5da67f004dfd21efbc459a6b
Merge pull request #1344 from CakeML/mcandidate-fix
HOL:e6d0417424f6e780d9ef01ffce6d7f69f789a706
Mention change in remove_user_printer's type in release notes
Machine:timtam
Claimed job
Reusing HOL
Starting developers
Finished developers 4s 210MB
Starting developers/bin
Finished developers/bin 3s 89MB
Starting misc
Finished misc 38s 1GB
Starting compiler/proofs
Finished compiler/proofs 59m47s 11GB
Starting compiler/bootstrap/compilation/x64/64/proofs
Finished compiler/bootstrap/compilation/x64/64/proofs 5h43m57s 68GB
Starting semantics/ffi
Finished semantics/ffi 10s 544MB
Starting semantics
Finished semantics 1s 95MB
Starting semantics/proofs
Finished semantics/proofs 20s 942MB
Starting semantics/alt_semantics
Finished semantics/alt_semantics 16s 571MB
Starting semantics/alt_semantics/proofs
Finished semantics/alt_semantics/proofs 3m15s 3GB
Starting basis/pure
Finished basis/pure 0s 90MB
Starting translator
Finished translator 1m04s 3GB
Starting compiler/parsing
Finished compiler/parsing 1s 99MB
Starting characteristic
Finished characteristic 1s 112MB
Starting translator/monadic
Finished translator/monadic 1s 121MB
Starting translator/monadic/monad_base
Finished translator/monadic/monad_base 1s 95MB
Starting profiler
Finished profiler 29s 1GB
Starting basis
Finished basis 1m35s 4GB
Starting compiler
Finished compiler 2s 223MB
Starting compiler/inference
Finished compiler/inference 1s 119MB
Starting compiler/backend/reg_alloc
Finished compiler/backend/reg_alloc 1s 91MB
Starting compiler/backend/gc
Finished compiler/backend/gc 1s 145MB
Starting compiler/backend
Finished compiler/backend 5s 234MB
Starting compiler/encoders/asm
Finished compiler/encoders/asm 1s 108MB
Starting compiler/encoders/x64
Finished compiler/encoders/x64 1s 107MB
Starting compiler/encoders/arm7
Finished compiler/encoders/arm7 1s 112MB
Starting compiler/encoders/arm8
Finished compiler/encoders/arm8 1s 108MB
Starting compiler/encoders/arm8_asl
Finished compiler/encoders/arm8_asl 58s 20GB
Starting compiler/encoders/mips
Finished compiler/encoders/mips 1s 107MB
Starting compiler/encoders/riscv
Finished compiler/encoders/riscv 1s 107MB
Starting compiler/encoders/ag32
Finished compiler/encoders/ag32 1s 100MB
Starting compiler/encoders/tests
Finished compiler/encoders/tests 1s 125MB
Starting compiler/encoders/monadic_enc
Finished compiler/encoders/monadic_enc 23s 1GB
Starting compiler/backend/x64
Finished compiler/backend/x64 1s 142MB
Starting compiler/backend/arm7
Finished compiler/backend/arm7 1s 142MB
Starting compiler/backend/arm8
Finished compiler/backend/arm8 1s 142MB
Starting compiler/backend/mips
Finished compiler/backend/mips 1s 141MB
Starting compiler/backend/riscv
Finished compiler/backend/riscv 1s 142MB
Starting compiler/backend/ag32
Finished compiler/backend/ag32 57s 3GB
Starting compiler/backend/pattern_matching
Finished compiler/backend/pattern_matching 1s 94MB
Starting compiler/parsing/ocaml
FAILED: compiler/parsing/ocaml
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)/basis/pure
Scanning $(CAKEMLDIR)/semantics/ffi
Scanning $(CAKEMLDIR)/semantics
Scanning $(CAKEMLDIR)/semantics/proofs
Scanning $(CAKEMLDIR)/compiler/parsing
Scanned 32 directories
Starting work on README.md
Starting work on camlTestsTheory
README.md (0s) OK
camlTestsTheory (30s)FAIL<1>
nEUnclosed,
L)
[Nd
(mkNT
nEApp,
L)
[Nd
(mkNT
nEFunapp,
L)
[Nd
(mkNT
nERecProj,
L)
[Nd
(mkNT
nEIndex,
L)
[Nd
(mkNT
nEPrefix,
L)
[Nd
(mkNT
nEBase,
L)
[Nd
(mkNT
nValuePath,
L)
[Nd
(mkNT
nValueName,
L)
[Lf
(TK
(IdentT
y),
L)]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]
fringe =
[TK TrueT; TK OrelseT; TK LetT; TK (IdentT y); TK EqualT; TK (IdentT z);
TK InT; TK (IdentT y)]
runtime: 0.08261s, gctime: 0.00000s, systime: 0.00000s.
Semantics (ptree_Expr nExpr) to
Log Orelse (Con (SOME true_id) []) (Let (SOME y) (V z) (V y))
Semantics fails; is not the required
Log Orelse (C True []) (Let (SOME y) (V z) (V y))
error in quse /scratch/cakeml/regression2/cakeml-3237/compiler/parsing/ocaml/camlTestsScript.sml : Fail "Failed Semantics fails; is not the required "
error in load /scratch/cakeml/regression2/cakeml-3237/compiler/parsing/ocaml/camlTestsScript : Fail "Failed Semantics fails; is not the required "
Uncaught exception at /scratch/cakeml/regression2/cakeml-3237/compiler/parsing/ocaml/camlTestsScript.sml:77: Fail "Failed Semantics fails; is not the required "
Full log: /scratch/cakeml/regression2/cakeml-3237/compiler/parsing/ocaml/.hol/logs/camlTestsTheory