Job 3235

CakeML:fff31382208ebbb104c083b2b41facc36512e9d8
  Desugar true/false into Cake.Bool.true/false instead of True/False [Feb 13 15:38:52]
#1345 (ocaml-parser)
Merging into:48ce8d3f3d18621a5da67f004dfd21efbc459a6b
  Merge pull request #1344 from CakeML/mcandidate-fix [Mar 02 05:56:38]
HOL:e6d0417424f6e780d9ef01ffce6d7f69f789a706
  Mention change in remove_user_printer's type in release notes [Feb 27 23:41:15]
Machine:timtam

Mar 02 16:22:30 Claimed job
Mar 02 16:22:38 Building HOL
Mar 02 16:34:33 Starting developers
Mar 02 16:34:38 Finished developers                                               4s 205MB
Mar 02 16:34:39 Starting developers/bin
Mar 02 16:34:44 Finished developers/bin                                           3s  90MB
Mar 02 16:34:45 Starting misc
Mar 02 16:35:43 Finished misc                                                    57s   1GB
Mar 02 16:35:44 Starting compiler/proofs
Mar 02 17:36:36 Finished compiler/proofs                                    1h00m50s  12GB
Mar 02 17:36:37 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 02 23:29:14 Finished compiler/bootstrap/compilation/x64/64/proofs       5h52m34s 109GB
Mar 02 23:29:15 Starting semantics/ffi
Mar 02 23:29:26 Finished semantics/ffi                                           10s 544MB
Mar 02 23:29:27 Starting semantics
Mar 02 23:29:30 Finished semantics                                                1s  95MB
Mar 02 23:29:31 Starting semantics/proofs
Mar 02 23:29:52 Finished semantics/proofs                                        20s 727MB
Mar 02 23:29:53 Starting semantics/alt_semantics
Mar 02 23:30:11 Finished semantics/alt_semantics                                 16s 621MB
Mar 02 23:30:12 Starting semantics/alt_semantics/proofs
Mar 02 23:33:26 Finished semantics/alt_semantics/proofs                        3m12s   2GB
Mar 02 23:33:27 Starting basis/pure
Mar 02 23:33:29 Finished basis/pure                                               0s  89MB
Mar 02 23:33:30 Starting translator
Mar 02 23:34:32 Finished translator                                            1m00s   3GB
Mar 02 23:34:33 Starting compiler/parsing
Mar 02 23:34:36 Finished compiler/parsing                                         1s 101MB
Mar 02 23:34:37 Starting characteristic
Mar 02 23:34:39 Finished characteristic                                           1s 118MB
Mar 02 23:34:40 Starting translator/monadic
Mar 02 23:34:43 Finished translator/monadic                                       1s 121MB
Mar 02 23:34:44 Starting translator/monadic/monad_base
Mar 02 23:34:46 Finished translator/monadic/monad_base                            0s  95MB
Mar 02 23:34:47 Starting profiler
Mar 02 23:35:16 Finished profiler                                                27s   1GB
Mar 02 23:35:17 Starting basis
Mar 02 23:36:55 Finished basis                                                 1m36s   4GB
Mar 02 23:36:56 Starting compiler
Mar 02 23:37:00 Finished compiler                                                 2s 223MB
Mar 02 23:37:01 Starting compiler/inference
Mar 02 23:37:03 Finished compiler/inference                                       1s 120MB
Mar 02 23:37:04 Starting compiler/backend/reg_alloc
Mar 02 23:37:07 Finished compiler/backend/reg_alloc                               1s  91MB
Mar 02 23:37:08 Starting compiler/backend/gc
Mar 02 23:37:10 Finished compiler/backend/gc                                      1s 138MB
Mar 02 23:37:12 Starting compiler/backend
Mar 02 23:37:18 Finished compiler/backend                                         4s 232MB
Mar 02 23:37:19 Starting compiler/encoders/asm
Mar 02 23:37:21 Finished compiler/encoders/asm                                    1s 106MB
Mar 02 23:37:22 Starting compiler/encoders/x64
Mar 02 23:37:24 Finished compiler/encoders/x64                                    1s 109MB
Mar 02 23:37:26 Starting compiler/encoders/arm7
Mar 02 23:37:28 Finished compiler/encoders/arm7                                   1s 112MB
Mar 02 23:37:29 Starting compiler/encoders/arm8
Mar 02 23:37:31 Finished compiler/encoders/arm8                                   1s 108MB
Mar 02 23:37:32 Starting compiler/encoders/arm8_asl
Mar 03 03:01:54 Finished compiler/encoders/arm8_asl                         3h24m20s  25GB
Mar 03 03:01:55 Starting compiler/encoders/mips
Mar 03 03:01:57 Finished compiler/encoders/mips                                   1s 107MB
Mar 03 03:01:59 Starting compiler/encoders/riscv
Mar 03 03:02:01 Finished compiler/encoders/riscv                                  1s 107MB
Mar 03 03:02:02 Starting compiler/encoders/ag32
Mar 03 03:02:04 Finished compiler/encoders/ag32                                   1s 104MB
Mar 03 03:02:05 Starting compiler/encoders/tests
Mar 03 03:02:08 Finished compiler/encoders/tests                                  1s 130MB
Mar 03 03:02:09 Starting compiler/encoders/monadic_enc
Mar 03 03:02:34 Finished compiler/encoders/monadic_enc                           23s   1GB
Mar 03 03:02:35 Starting compiler/backend/x64
Mar 03 03:02:37 Finished compiler/backend/x64                                     1s 143MB
Mar 03 03:02:38 Starting compiler/backend/arm7
Mar 03 03:02:41 Finished compiler/backend/arm7                                    1s 143MB
Mar 03 03:02:42 Starting compiler/backend/arm8
Mar 03 03:02:45 Finished compiler/backend/arm8                                    1s 142MB
Mar 03 03:02:46 Starting compiler/backend/mips
Mar 03 03:02:49 Finished compiler/backend/mips                                    1s 143MB
Mar 03 03:02:50 Starting compiler/backend/riscv
Mar 03 03:02:53 Finished compiler/backend/riscv                                   1s 142MB
Mar 03 03:02:54 Starting compiler/backend/ag32
Mar 03 03:03:52 Finished compiler/backend/ag32                                   57s   3GB
Mar 03 03:03:53 Starting compiler/backend/pattern_matching
Mar 03 03:03:55 Finished compiler/backend/pattern_matching                        1s  95MB
Mar 03 03:03:57 Starting compiler/parsing/ocaml
Mar 03 03:04:23 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                                                    (21s)FAIL<1>
                           Lf (TK CommaT,L);
                           Nd (mkNT nPAs,L)
                             [Nd (mkNT nPCons,L)
                                [Nd (mkNT nPBase,L)
                                   [Nd (mkNT nValueName,L)
                                      [Lf (TK (IdentT b),L)]]]]]];
                     Lf (TK RparT,L)]]]; Lf (TK AsT,L);
            Nd (mkNT nIdent,L) [Lf (TK (IdentT c),L)]]; Lf (TK CommaT,L);
         Nd (mkNT nPAs,L)
           [Nd (mkNT nPCons,L)
              [Nd (mkNT nPBase,L)
                 [Nd (mkNT nValueName,L) [Lf (TK (IdentT d),L)]]]]]]
 fringe = 
   [TK (IdentT Comb); TK LparT; TK (IdentT a); TK CommaT; TK (IdentT b);
    TK RparT; TK AsT; TK (IdentT c); TK CommaT; TK (IdentT d)]
 runtime: 0.01917s,    gctime: 0.00000s,     systime: 0.00000s.
 Semantics (ptree_Pattern) to 
   [INR (Pcon NONE [Pas (Pc Comb [Pv a; Pv b]) c; Pv d])]
 Semantic output as expected
 **********
 Lexing false::[]
 runtime: 0.02131s,    gctime: 0.00000s,     systime: 0.00000s.
 Lexes to : [TK FalseT; TK ColonsT; TK LbrackT; TK RbrackT]
 Parsing
 runtime: 0.05207s,    gctime: 0.00000s,     systime: 0.00001s.
 EVAL to: 
   Nd (mkNT nPattern,L)
     [Nd (mkNT nPOps,L)
        [Nd (mkNT nPAs,L)
           [Nd (mkNT nPCons,L)
              [Nd (mkNT nPBase,L)
                 [Nd (mkNT nPatLiteral,L)
                    [Nd (mkNT nLiteral,L) [Lf (TK FalseT,L)]]]]];
         Lf (TK ColonsT,L);
         Nd (mkNT nPAs,L)
           [Nd (mkNT nPCons,L)
              [Nd (mkNT nPBase,L)
                 [Nd (mkNT nPList,L) [Lf (TK LbrackT,L); Lf (TK RbrackT,L)]]]]]]
 fringe =  [TK FalseT; TK ColonsT; TK LbrackT; TK RbrackT]
 runtime: 0.01200s,    gctime: 0.00000s,     systime: 0.00000s.
 Semantics (ptree_Pattern) to 
   [INR
      (Pc ::
         [Pcon (SOME (Long Cake (Long Bool (Short false)))) [];
          Pc [] []])]
 Semantics fails; is not the required 
   [INR (Pc :: [Pc False []; Pc [] []])]
 error in quse /scratch/cakeml/regression2/cakeml-3235/compiler/parsing/ocaml/camlTestsScript.sml : Fail "Failed Semantics fails; is not the required "
 error in load /scratch/cakeml/regression2/cakeml-3235/compiler/parsing/ocaml/camlTestsScript : Fail "Failed Semantics fails; is not the required "
 Uncaught exception at /scratch/cakeml/regression2/cakeml-3235/compiler/parsing/ocaml/camlTestsScript.sml:75: Fail "Failed Semantics fails; is not the required "
 Full log: /scratch/cakeml/regression2/cakeml-3235/compiler/parsing/ocaml/.hol/logs/camlTestsTheory