Build:
- 0
2026-09-04 21:57.24: New job: build hardcaml-lua.0.0.1 (5ae97cf46a19) 2026-09-04 21:57.24: Waiting for resource in pool day11-builds 2026-09-04 22:05.55: Got resource from pool day11-builds 2026-09-04 22:05.55: [profile full] build hardcaml-lua.0.0.1 2026-09-04 22:05.55: build hardcaml-lua.0.0.1 (5ae97cf46a19) === DEPENDENCIES (96 transitive) === base.v0.17.3 88b199545512 base-bigarray.base 31ac6860ef52 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e base_bigstring.v0.17.0 1836942ba247 base_quickcheck.v0.17.1 cf3a0eaa4330 bin_prot.v0.17.0-1 acd2cdff2422 capitalization.v0.17.0 a5da2f9bb4fd compiler-cloning.enabled 966a2e6839f0 conf-c++.1.0 a252a2c8d274 conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 conf-python-3.9.0.0 c8ed77e42b03 core.v0.17.2 cbf752b056a1 core_kernel.v0.17.0 8f359ee64116 cppo.1.8.0 3a29ac6f7bab csexp.1.5.2 8c096e7de322 dune.3.24.2 25fbaa318de6 dune-configurator.3.24.2 517e3f9cad4b fieldslib.v0.17.0 edc750ef8e12 gel.v0.17.0 9b48ace0b09d hardcaml.v0.17.1 596c9ba5c6fd hardcaml_circuits.v0.17.0 e4410584c6ed int_repr.v0.17.0 4da2b4572805 iter.1.9 bb38d8860c5e jane-street-headers.v0.17.0 f18028c937c5 jst-config.v0.17.0 37eb02483155 lua-ml.0.9.5 f3d6e0102aad menhir.20260209 c1f23eb38523 menhirCST.20260209 0c0a8e122478 menhirGLR.20260209 55b8cfc3f8b3 menhirLib.20260209 e790c6b1b683 menhirSdk.20260209 5256bfaa72f1 msat.0.9.1 1b8945e26cc8 num.1.6 244eeeb7f1b4 ocaml.5.5.1 70ca0c66e0e8 ocaml-base-compiler.5.5.1 59841d7ed85e ocaml-compiler.5.5.1 492c0c740bd1 ocaml-compiler-libs.v0.17.0 235024900ef6 ocaml_intrinsics_kernel.v0.17.2 10a82d6157c1 ocamlfind.1.9.9~preview 5e0261154b58 parsexp.v0.17.0 79bf454965d2 ppx_assert.v0.17.0 82f34672b596 ppx_base.v0.17.0 9c31b43f583d ppx_bench.v0.17.1 060151aabb82 ppx_bin_prot.v0.17.1 32337c1b1684 ppx_cold.v0.17.0 ec043906a439 ppx_compare.v0.17.0 80e0df88ac09 ppx_custom_printf.v0.17.0 dcab0a0fc72b ppx_derivers.1.2.1 8d5f777c17ee ppx_deriving.6.1.3 39452778e8ff ppx_deriving_yojson.3.10.0 b7591e0b1ee4 ppx_diff.v0.17.1 5551814d0102 ppx_disable_unused_warnings.v0.17.0 c21cd5b1cd6a ppx_enumerate.v0.17.0 970b405dbc8b ppx_expect.v0.17.3 8d1c0907a908 ppx_fields_conv.v0.17.0 bd7862ee1d85 ppx_fixed_literal.v0.17.0 ae9423476865 ppx_globalize.v0.17.2 f10cd28a39ed ppx_hardcaml.v0.17.1 e8930cbeb946 ppx_hash.v0.17.0 2ed6f4eb522a ppx_here.v0.17.0 8857ff0d96d1 ppx_ignore_instrumentation.v0.17.0 6ab0a7cf15a8 ppx_inline_test.v0.17.1 ef55758fcaf7 ppx_jane.v0.17.0 f6773c1dbae8 ppx_let.v0.17.1 6d9934afba54 ppx_log.v0.17.0 85866b846e16 ppx_module_timer.v0.17.0 844835ad3ea8 ppx_optcomp.v0.17.1 183524b02a4e ppx_optional.v0.17.0 90326d1cabed ppx_pipebang.v0.17.0 3c2c8380081c ppx_sexp_conv.v0.17.1 0740e0c56f6f ppx_sexp_message.v0.17.0 5fd501198821 ppx_sexp_value.v0.17.0 14149b7945fa ppx_stable.v0.17.1 510fa2041f49 ppx_stable_witness.v0.17.0 dfcd2e521392 ppx_string.v0.17.0 2be9b772be20 ppx_string_conv.v0.17.0 63dac62d76f5 ppx_tydi.v0.17.1 d8650e941877 ppx_typerep_conv.v0.17.1 1e16f0c9de3b ppx_variants_conv.v0.17.1 9aff095565d0 ppxlib.0.38.0 ac854f4fbd20 ppxlib_jane.v0.17.4 7ffd450ab5af sexplib.v0.17.0 bfd4eff0be44 sexplib0.v0.17.0 055934f8e366 splittable_random.v0.17.0 749c5c3b5ad2 stdio.v0.17.0 d79f7548eed3 stdlib-shims.0.3.0 cc542b70be6c time_now.v0.17.0 2f4e048c687f typerep.v0.17.1 2d21e061d434 uopt.v0.17.0 f0961f808122 variantslib.v0.17.0 d8fb65b9cecd xml-light.2.5 b313cba54678 yojson.3.0.0 7ef0eaa5587b z3.4.16.0 b111905b81f5 zarith.1.14 345688a9ddb6 === STDOUT === Processing: [default: loading data] [hardcaml-lua.0.0.1: dl] [hardcaml-lua.0.0.1: extract] -> retrieved hardcaml-lua.0.0.1 (https://opam.ocaml.org/cache) [hardcaml-lua: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "hardcaml-lua" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/hardcaml-lua.0.0.1) - (cd _build/.sandbox/b953942995f118e7e315e19e0015d395/default && /home/opam/.opam/default/bin/menhir -la 2 File.mly --base File --infer-write-query File__mock.ml.mock) - File "File.mly", line 5, characters 8-14: - Warning: the token ACCEPT is unused. - File "File.mly", line 6, characters 8-17: - Warning: the token AMPERSAND is unused. - File "File.mly", line 7, characters 8-10: - Warning: the token AT is unused. - File "File.mly", line 8, characters 8-17: - Warning: the token BACKQUOTE is unused. - File "File.mly", line 9, characters 8-17: - Warning: the token BACKSLASH is unused. - File "File.mly", line 10, characters 8-13: - Warning: the token CARET is unused. - File "File.mly", line 13, characters 15-20: - Warning: the token CONS1 is unused. - File "File.mly", line 14, characters 21-26: - Warning: the token CONS2 is unused. - File "File.mly", line 15, characters 27-32: - Warning: the token CONS3 is unused. - File "File.mly", line 16, characters 33-38: - Warning: the token CONS4 is unused. - File "File.mly", line 17, characters 8-15: - Warning: the token DEFAULT is unused. - File "File.mly", line 19, characters 8-14: - Warning: the token DOLLAR is unused. - File "File.mly", line 20, characters 8-11: - Warning: the token DOT is unused. - File "File.mly", line 21, characters 8-19: - Warning: the token DOUBLEQUOTE is unused. - File "File.mly", line 22, characters 20-25: - Warning: the token ELIST is unused. - File "File.mly", line 23, characters 8-19: - Warning: the token EMPTY_TOKEN is unused. - File "File.mly", line 24, characters 8-11: - Warning: the token END is unused. - File "File.mly", line 27, characters 8-13: - Warning: the token ERROR is unused. - File "File.mly", line 28, characters 8-19: - Warning: the token ERROR_TOKEN is unused. - File "File.mly", line 29, characters 8-15: - Warning: the token GREATER is unused. - File "File.mly", line 30, characters 8-12: - Warning: the token HASH is unused. - File "File.mly", line 36, characters 8-14: - Warning: the token LBRACE is unused. - File "File.mly", line 37, characters 8-14: - Warning: the token LBRACK is unused. - File "File.mly", line 39, characters 8-12: - Warning: the token LESS is unused. - File "File.mly", line 40, characters 8-16: - Warning: the token LINEFEED is unused. - File "File.mly", line 45, characters 8-15: - Warning: the token PERCENT is unused. - File "File.mly", line 46, characters 8-13: - Warning: the token PLING is unused. - File "File.mly", line 48, characters 8-13: - Warning: the token QUERY is unused. - File "File.mly", line 49, characters 8-13: - Warning: the token QUOTE is unused. - File "File.mly", line 50, characters 8-14: - Warning: the token RBRACE is unused. - File "File.mly", line 51, characters 8-14: - Warning: the token RBRACK is unused. - File "File.mly", line 55, characters 21-26: - Warning: the token SLIST is unused. - File "File.mly", line 57, characters 8-13: - Warning: the token TILDE is unused. - File "File.mly", line 58, characters 20-25: - Warning: the token TLIST is unused. - File "File.mly", line 59, characters 69-76: - Warning: the token TUPLE10 is unused. - File "File.mly", line 60, characters 21-27: - Warning: the token TUPLE2 is unused. - File "File.mly", line 61, characters 27-33: - Warning: the token TUPLE3 is unused. - File "File.mly", line 62, characters 33-39: - Warning: the token TUPLE4 is unused. - File "File.mly", line 63, characters 39-45: - Warning: the token TUPLE5 is unused. - File "File.mly", line 64, characters 45-51: - Warning: the token TUPLE6 is unused. - File "File.mly", line 65, characters 51-57: - Warning: the token TUPLE7 is unused. - File "File.mly", line 66, characters 57-63: - Warning: the token TUPLE8 is unused. - File "File.mly", line 67, characters 63-69: - Warning: the token TUPLE9 is unused. - File "File.mly", line 68, characters 8-13: - Warning: the token UNARY is unused. - File "File.mly", line 69, characters 8-18: - Warning: the token UNDERSCORE is unused. - File "File.mly", line 70, characters 8-12: - Warning: the token VBAR is unused. - (cd _build/.sandbox/7ffed30632b66bc74c256f23f63bc79b/default && /home/opam/.opam/default/bin/menhir -la 2 rtl_parser.mly --base rtl_parser --infer-write-query rtl_parser__mock.ml.mock) - File "rtl_parser.mly", line 2124, characters 0-13: - Warning: symbol unused_tokens is unreachable from the start symbol. - (cd _build/.sandbox/91eed68140f31155f4cd067fa5392971/default && /home/opam/.opam/default/bin/menhir -la 2 Input.mly --base Input --infer-write-query Input__mock.ml.mock) - File "Input.mly", line 735, characters 7-13: - Warning: the token ALWAYS is unused. - File "Input.mly", line 727, characters 7-13: - Warning: the token ASSIGN is unused. - File "Input.mly", line 729, characters 7-16: - Warning: the token ASSIGNDLY is unused. - File "Input.mly", line 728, characters 7-17: - Warning: the token ASSIGNMENT is unused. - File "Input.mly", line 714, characters 23-28: - Warning: the token BEGIN is unused. - File "Input.mly", line 731, characters 7-11: - Warning: the token CASE is unused. - File "Input.mly", line 730, characters 25-30: - Warning: the token CMPOP is unused. - File "Input.mly", line 713, characters 26-29: - Warning: the token DIR is unused. - File "Input.mly", line 703, characters 7-13: - Warning: the token DQUOTE is unused. - File "Input.mly", line 722, characters 7-11: - Warning: the token ELSE is unused. - File "Input.mly", line 732, characters 7-14: - Warning: the token ENDCASE is unused. - File "Input.mly", line 740, characters 7-18: - Warning: the token ENDFUNCTION is unused. - File "Input.mly", line 749, characters 7-19: - Warning: the token ENDINTERFACE is unused. - File "Input.mly", line 745, characters 7-16: - Warning: the token ENDMODULE is unused. - File "Input.mly", line 751, characters 7-17: - Warning: the token ENDPACKAGE is unused. - File "Input.mly", line 742, characters 7-14: - Warning: the token ENDTASK is unused. - File "Input.mly", line 755, characters 8-14: - Warning: the token EQUALS is unused. - File "Input.mly", line 747, characters 7-12: - Warning: the token FINAL is unused. - File "Input.mly", line 734, characters 7-10: - Warning: the token FOR is unused. - File "Input.mly", line 739, characters 7-15: - Warning: the token FUNCTION is unused. - File "Input.mly", line 710, characters 16-21: - Warning: the token IDENT is unused. - File "Input.mly", line 721, characters 7-10: - Warning: the token IFF is unused. - File "Input.mly", line 746, characters 7-14: - Warning: the token INITIAL is unused. - File "Input.mly", line 748, characters 7-16: - Warning: the token INTERFACE is unused. - File "Input.mly", line 700, characters 7-14: - Warning: the token INVALID is unused. - File "Input.mly", line 717, characters 7-15: - Warning: the token LCOMMENT is unused. - File "Input.mly", line 715, characters 7-13: - Warning: the token LCURLY is unused. - File "Input.mly", line 817, characters 25-28: - Warning: the token LOC is unused. - File "Input.mly", line 723, characters 7-12: - Warning: the token LOGIC is unused. - File "Input.mly", line 719, characters 7-13: - Warning: the token LSHIFT is unused. - File "Input.mly", line 705, characters 7-12: - Warning: the token MINUS is unused. - File "Input.mly", line 752, characters 7-14: - Warning: the token MODPORT is unused. - File "Input.mly", line 743, characters 7-13: - Warning: the token MODULE is unused. - File "Input.mly", line 737, characters 7-14: - Warning: the token NEGEDGE is unused. - File "Input.mly", line 708, characters 7-9: - Warning: the token NL is unused. - File "Input.mly", line 711, characters 25-28: - Warning: the token NUM is unused. - File "Input.mly", line 750, characters 7-14: - Warning: the token PACKAGE is unused. - File "Input.mly", line 744, characters 7-16: - Warning: the token PARAMETER is unused. - File "Input.mly", line 704, characters 7-11: - Warning: the token PLUS is unused. - File "Input.mly", line 736, characters 7-14: - Warning: the token POSEDGE is unused. - File "Input.mly", line 707, characters 7-10: - Warning: the token POW is unused. - File "Input.mly", line 718, characters 7-15: - Warning: the token RCOMMENT is unused. - File "Input.mly", line 716, characters 7-13: - Warning: the token RCURLY is unused. - File "Input.mly", line 725, characters 7-10: - Warning: the token REG is unused. - File "Input.mly", line 738, characters 7-13: - Warning: the token RETURN is unused. - File "Input.mly", line 720, characters 7-13: - Warning: the token RSHIFT is unused. - File "Input.mly", line 702, characters 7-11: - Warning: the token SEMI is unused. - File "Input.mly", line 712, characters 31-36: - Warning: the token SIZED is unused. - File "Input.mly", line 701, characters 7-9: - Warning: the token SP is unused. - File "Input.mly", line 709, characters 20-23: - Warning: the token SRC is unused. - File "Input.mly", line 706, characters 7-11: - Warning: the token STAR is unused. - File "Input.mly", line 741, characters 7-11: - Warning: the token TASK is unused. - File "Input.mly", line 808, characters 75-82: - Warning: the token TUPLE11 is unused. - File "Input.mly", line 809, characters 81-88: - Warning: the token TUPLE12 is unused. - File "Input.mly", line 810, characters 87-94: - Warning: the token TUPLE13 is unused. - File "Input.mly", line 811, characters 93-100: - Warning: the token TUPLE14 is unused. - File "Input.mly", line 812, characters 99-106: - Warning: the token TUPLE15 is unused. - File "Input.mly", line 813, characters 105-112: - Warning: the token TUPLE16 is unused. - File "Input.mly", line 814, characters 111-118: - Warning: the token TUPLE17 is unused. - File "Input.mly", line 726, characters 7-14: - Warning: the token VSTRING is unused. - File "Input.mly", line 1300, characters 16-22: - Warning: the token VpiNum is unused. - File "Input.mly", line 945, characters 7-16: - Warning: the token Vpiactive is unused. - File "Input.mly", line 946, characters 7-26: - Warning: the token Vpiactivetimeformat is unused. - File "Input.mly", line 948, characters 7-16: - Warning: the token Vpialways is unused. - File "Input.mly", line 949, characters 7-17: - Warning: the token Vpiandprim is unused. - File "Input.mly", line 953, characters 7-15: - Warning: the token Vpiarray is unused. - File "Input.mly", line 954, characters 7-20: - Warning: the token Vpiassignment is unused. - File "Input.mly", line 955, characters 7-20: - Warning: the token Vpiassignstmt is unused. - File "Input.mly", line 957, characters 7-19: - Warning: the token Vpiautomatic is unused. - File "Input.mly", line 958, characters 7-20: - Warning: the token Vpiautomatics is unused. - File "Input.mly", line 960, characters 7-15: - Warning: the token Vpibegin is unused. - File "Input.mly", line 961, characters 7-21: - Warning: the token Vpibinaryconst is unused. - File "Input.mly", line 962, characters 7-13: - Warning: the token Vpibit is unused. - File "Input.mly", line 966, characters 7-19: - Warning: the token Vpibitselect is unused. - File "Input.mly", line 970, characters 7-20: - Warning: the token Vpibufif0prim is unused. - File "Input.mly", line 971, characters 7-20: - Warning: the token Vpibufif1prim is unused. - File "Input.mly", line 972, characters 7-17: - Warning: the token Vpibufprim is unused. - File "Input.mly", line 973, characters 7-18: - Warning: the token Vpicallback is unused. - File "Input.mly", line 974, characters 7-14: - Warning: the token Vpicase is unused. - File "Input.mly", line 975, characters 7-18: - Warning: the token Vpicaseeqop is unused. - File "Input.mly", line 976, characters 7-19: - Warning: the token Vpicaseexact is unused. - File "Input.mly", line 978, characters 7-19: - Warning: the token Vpicaseneqop is unused. - File "Input.mly", line 980, characters 7-15: - Warning: the token Vpicasex is unused. - File "Input.mly", line 981, characters 7-15: - Warning: the token Vpicasez is unused. - File "Input.mly", line 982, characters 7-14: - Warning: the token Vpicell is unused. - File "Input.mly", line 983, characters 7-22: - Warning: the token Vpicellinstance is unused. - File "Input.mly", line 984, characters 7-24: - Warning: the token Vpichargestrength is unused. - File "Input.mly", line 985, characters 7-18: - Warning: the token Vpicmosprim is unused. - File "Input.mly", line 986, characters 7-18: - Warning: the token Vpicombprim is unused. - File "Input.mly", line 990, characters 7-16: - Warning: the token Vpiconfig is unused. - File "Input.mly", line 991, characters 7-20: - Warning: the token Vpiconnbyname is unused. - File "Input.mly", line 992, characters 7-18: - Warning: the token Vpiconstant is unused. - File "Input.mly", line 996, characters 7-23: - Warning: the token Vpicontassignbit is unused. - File "Input.mly", line 997, characters 7-22: - Warning: the token Vpidatapolarity is unused. - File "Input.mly", line 998, characters 7-18: - Warning: the token Vpideassign is unused. - File "Input.mly", line 999, characters 7-18: - Warning: the token Vpidecconst is unused. - File "Input.mly", line 1001, characters 7-22: - Warning: the token Vpidefattribute is unused. - File "Input.mly", line 1002, characters 7-22: - Warning: the token Vpidefdecaytime is unused. - File "Input.mly", line 1003, characters 7-22: - Warning: the token Vpidefdelaymode is unused. - File "Input.mly", line 1007, characters 7-20: - Warning: the token Vpidefnettype is unused. - File "Input.mly", line 1008, characters 7-18: - Warning: the token Vpidefparam is unused. - File "Input.mly", line 1009, characters 7-15: - Warning: the token Vpidelay is unused. - File "Input.mly", line 1010, characters 7-22: - Warning: the token Vpidelaycontrol is unused. - File "Input.mly", line 1011, characters 7-21: - Warning: the token Vpidelaydevice is unused. - File "Input.mly", line 1012, characters 7-26: - Warning: the token Vpidelaymodedistrib is unused. - File "Input.mly", line 1013, characters 7-22: - Warning: the token Vpidelaymodemtm is unused. - File "Input.mly", line 1014, characters 7-23: - Warning: the token Vpidelaymodenone is unused. - File "Input.mly", line 1015, characters 7-23: - Warning: the token Vpidelaymodepath is unused. - File "Input.mly", line 1016, characters 7-23: - Warning: the token Vpidelaymodeunit is unused. - File "Input.mly", line 1017, characters 7-23: - Warning: the token Vpidelaymodezero is unused. - File "Input.mly", line 1018, characters 7-19: - Warning: the token Vpidelayterm is unused. - File "Input.mly", line 1019, characters 7-19: - Warning: the token Vpidelaytype is unused. - File "Input.mly", line 1021, characters 7-17: - Warning: the token Vpidisable is unused. - File "Input.mly", line 1023, characters 7-16: - Warning: the token Vpidriver is unused. - File "Input.mly", line 1024, characters 7-14: - Warning: the token Vpiedge is unused. - File "Input.mly", line 1027, characters 7-22: - Warning: the token Vpieventcontrol is unused. - File "Input.mly", line 1029, characters 7-19: - Warning: the token Vpieventstmt is unused. - File "Input.mly", line 1030, characters 7-18: - Warning: the token Vpiexpanded is unused. - File "Input.mly", line 1031, characters 7-22: - Warning: the token Vpiexplicitname is unused. - File "Input.mly", line 1032, characters 7-26: - Warning: the token Vpiexplicitscalared is unused. - File "Input.mly", line 1033, characters 7-26: - Warning: the token Vpiexplicitvectored is unused. - File "Input.mly", line 1035, characters 7-14: - Warning: the token Vpifile is unused. - File "Input.mly", line 1036, characters 7-16: - Warning: the token Vpifinish is unused. - File "Input.mly", line 1037, characters 7-13: - Warning: the token Vpifor is unused. - File "Input.mly", line 1038, characters 7-15: - Warning: the token Vpiforce is unused. - File "Input.mly", line 1039, characters 7-17: - Warning: the token Vpiforever is unused. - File "Input.mly", line 1042, characters 7-14: - Warning: the token Vpifork is unused. - File "Input.mly", line 1043, characters 7-15: - Warning: the token Vpiframe is unused. - File "Input.mly", line 1045, characters 7-18: - Warning: the token Vpifullskew is unused. - File "Input.mly", line 1046, characters 7-18: - Warning: the token Vpifunccall is unused. - File "Input.mly", line 1047, characters 7-18: - Warning: the token Vpifunction is unused. - File "Input.mly", line 1048, characters 7-18: - Warning: the token Vpifunctype is unused. - File "Input.mly", line 1049, characters 7-14: - Warning: the token Vpigate is unused. - File "Input.mly", line 1050, characters 7-19: - Warning: the token Vpigatearray is unused. - File "Input.mly", line 1053, characters 7-16: - Warning: the token Vpigenvar is unused. - File "Input.mly", line 1056, characters 7-18: - Warning: the token Vpihexconst is unused. - File "Input.mly", line 1058, characters 7-15: - Warning: the token Vpihighz is unused. - File "Input.mly", line 1059, characters 7-14: - Warning: the token Vpihold is unused. - File "Input.mly", line 1060, characters 7-12: - Warning: the token Vpiif is unused. - File "Input.mly", line 1061, characters 7-16: - Warning: the token Vpiifelse is unused. - File "Input.mly", line 1062, characters 7-22: - Warning: the token Vpiimplicitdecl is unused. - File "Input.mly", line 1064, characters 7-27: - Warning: the token Vpiindexedpartselect is unused. - File "Input.mly", line 1066, characters 7-17: - Warning: the token Vpiinitial is unused. - File "Input.mly", line 1067, characters 7-15: - Warning: the token Vpiinout is unused. - File "Input.mly", line 1068, characters 7-15: - Warning: the token Vpiinput is unused. - File "Input.mly", line 1069, characters 7-23: - Warning: the token Vpiinstancearray is unused. - File "Input.mly", line 1070, characters 7-18: - Warning: the token Vpiintconst is unused. - File "Input.mly", line 1071, characters 7-20: - Warning: the token Vpiintegervar is unused. - File "Input.mly", line 1072, characters 7-16: - Warning: the token Vpiinterm is unused. - File "Input.mly", line 1073, characters 7-22: - Warning: the token Vpiintermodpath is unused. - File "Input.mly", line 1074, characters 7-27: - Warning: the token Vpiintermodpathdelay is unused. - File "Input.mly", line 1075, characters 7-23: - Warning: the token Vpiinternalscope is unused. - File "Input.mly", line 1076, characters 7-17: - Warning: the token Vpiintfunc is unused. - File "Input.mly", line 1078, characters 7-18: - Warning: the token Vpiismemory is unused. - File "Input.mly", line 1079, characters 7-21: - Warning: the token Vpiisprotected is unused. - File "Input.mly", line 1080, characters 7-18: - Warning: the token Vpiiterator is unused. - File "Input.mly", line 1081, characters 7-22: - Warning: the token Vpiiteratortype is unused. - File "Input.mly", line 1085, characters 7-17: - Warning: the token Vpilibrary is unused. - File "Input.mly", line 1086, characters 7-16: - Warning: the token Vpilineno is unused. - File "Input.mly", line 1087, characters 7-16: - Warning: the token Vpilistop is unused. - File "Input.mly", line 1088, characters 7-14: - Warning: the token Vpiload is unused. - File "Input.mly", line 1089, characters 7-21: - Warning: the token Vpilocaldriver is unused. - File "Input.mly", line 1090, characters 7-19: - Warning: the token Vpilocalload is unused. - File "Input.mly", line 1097, characters 7-16: - Warning: the token Vpimemory is unused. - File "Input.mly", line 1098, characters 7-20: - Warning: the token Vpimemoryword is unused. - File "Input.mly", line 1099, characters 7-21: - Warning: the token Vpimintypmaxop is unused. - File "Input.mly", line 1101, characters 7-18: - Warning: the token Vpimipdelay is unused. - File "Input.mly", line 1102, characters 7-17: - Warning: the token Vpimixedio is unused. - File "Input.mly", line 1103, characters 7-23: - Warning: the token Vpimoddatapathin is unused. - File "Input.mly", line 1105, characters 7-17: - Warning: the token Vpimodpath is unused. - File "Input.mly", line 1106, characters 7-22: - Warning: the token Vpimodpathdelay is unused. - File "Input.mly", line 1107, characters 7-26: - Warning: the token Vpimodpathhasifnone is unused. - File "Input.mly", line 1108, characters 7-19: - Warning: the token Vpimodpathin is unused. - File "Input.mly", line 1109, characters 7-20: - Warning: the token Vpimodpathout is unused. - File "Input.mly", line 1111, characters 7-21: - Warning: the token Vpimodulearray is unused. - File "Input.mly", line 1115, characters 7-20: - Warning: the token Vpinamedbegin is unused. - File "Input.mly", line 1116, characters 7-20: - Warning: the token Vpinamedevent is unused. - File "Input.mly", line 1117, characters 7-25: - Warning: the token Vpinamedeventarray is unused. - File "Input.mly", line 1118, characters 7-19: - Warning: the token Vpinamedfork is unused. - File "Input.mly", line 1119, characters 7-18: - Warning: the token Vpinandprim is unused. - File "Input.mly", line 1120, characters 7-18: - Warning: the token Vpinegative is unused. - File "Input.mly", line 1122, characters 7-20: - Warning: the token Vpinegindexed is unused. - File "Input.mly", line 1125, characters 7-18: - Warning: the token Vpinetarray is unused. - File "Input.mly", line 1126, characters 7-16: - Warning: the token Vpinetbit is unused. - File "Input.mly", line 1129, characters 7-18: - Warning: the token Vpinmosprim is unused. - File "Input.mly", line 1130, characters 7-18: - Warning: the token Vpinochange is unused. - File "Input.mly", line 1131, characters 7-21: - Warning: the token Vpinodirection is unused. - File "Input.mly", line 1132, characters 7-14: - Warning: the token Vpinone is unused. - File "Input.mly", line 1133, characters 7-17: - Warning: the token Vpinorprim is unused. - File "Input.mly", line 1134, characters 7-20: - Warning: the token Vpinotif0prim is unused. - File "Input.mly", line 1135, characters 7-20: - Warning: the token Vpinotif1prim is unused. - File "Input.mly", line 1137, characters 7-17: - Warning: the token Vpinotprim is unused. - File "Input.mly", line 1139, characters 7-18: - Warning: the token Vpinullstmt is unused. - File "Input.mly", line 1140, characters 7-18: - Warning: the token Vpioctconst is unused. - File "Input.mly", line 1141, characters 7-16: - Warning: the token Vpioffset is unused. - File "Input.mly", line 1143, characters 7-19: - Warning: the token Vpioperation is unused. - File "Input.mly", line 1145, characters 7-16: - Warning: the token Vpiorprim is unused. - File "Input.mly", line 1146, characters 7-16: - Warning: the token Vpioutput is unused. - File "Input.mly", line 1147, characters 7-17: - Warning: the token Vpioutterm is unused. - File "Input.mly", line 1151, characters 7-20: - Warning: the token Vpipartselect is unused. - File "Input.mly", line 1152, characters 7-18: - Warning: the token Vpipathfull is unused. - File "Input.mly", line 1153, characters 7-22: - Warning: the token Vpipathparallel is unused. - File "Input.mly", line 1154, characters 7-18: - Warning: the token Vpipathterm is unused. - File "Input.mly", line 1155, characters 7-16: - Warning: the token Vpiperiod is unused. - File "Input.mly", line 1157, characters 7-18: - Warning: the token Vpipmosprim is unused. - File "Input.mly", line 1158, characters 7-18: - Warning: the token Vpipolarity is unused. - File "Input.mly", line 1160, characters 7-17: - Warning: the token Vpiportbit is unused. - File "Input.mly", line 1161, characters 7-19: - Warning: the token Vpiportindex is unused. - File "Input.mly", line 1162, characters 7-18: - Warning: the token Vpiportinst is unused. - File "Input.mly", line 1163, characters 7-15: - Warning: the token Vpiports is unused. - File "Input.mly", line 1164, characters 7-17: - Warning: the token Vpiposedge is unused. - File "Input.mly", line 1166, characters 7-20: - Warning: the token Vpiposindexed is unused. - File "Input.mly", line 1167, characters 7-18: - Warning: the token Vpipositive is unused. - File "Input.mly", line 1169, characters 7-19: - Warning: the token Vpiprimitive is unused. - File "Input.mly", line 1170, characters 7-24: - Warning: the token Vpiprimitivearray is unused. - File "Input.mly", line 1171, characters 7-18: - Warning: the token Vpiprimterm is unused. - File "Input.mly", line 1172, characters 7-18: - Warning: the token Vpiprimtype is unused. - File "Input.mly", line 1174, characters 7-19: - Warning: the token Vpiprotected is unused. - File "Input.mly", line 1175, characters 7-15: - Warning: the token Vpipull0 is unused. - File "Input.mly", line 1176, characters 7-15: - Warning: the token Vpipull1 is unused. - File "Input.mly", line 1177, characters 7-22: - Warning: the token Vpipulldownprim is unused. - File "Input.mly", line 1178, characters 7-20: - Warning: the token Vpipullupprim is unused. - File "Input.mly", line 1180, characters 7-19: - Warning: the token Vpircmosprim is unused. - File "Input.mly", line 1181, characters 7-19: - Warning: the token Vpirealconst is unused. - File "Input.mly", line 1182, characters 7-18: - Warning: the token Vpirealfunc is unused. - File "Input.mly", line 1183, characters 7-17: - Warning: the token Vpirealvar is unused. - File "Input.mly", line 1184, characters 7-18: - Warning: the token Vpirecovery is unused. - File "Input.mly", line 1185, characters 7-16: - Warning: the token Vpirecrem is unused. - File "Input.mly", line 1187, characters 7-18: - Warning: the token Vpiregarray is unused. - File "Input.mly", line 1188, characters 7-16: - Warning: the token Vpiregbit is unused. - File "Input.mly", line 1189, characters 7-17: - Warning: the token Vpirelease is unused. - File "Input.mly", line 1190, characters 7-17: - Warning: the token Vpiremoval is unused. - File "Input.mly", line 1191, characters 7-16: - Warning: the token Vpirepeat is unused. - File "Input.mly", line 1192, characters 7-23: - Warning: the token Vpirepeatcontrol is unused. - File "Input.mly", line 1193, characters 7-15: - Warning: the token Vpireset is unused. - File "Input.mly", line 1194, characters 7-25: - Warning: the token Vpiresolvednettype is unused. - File "Input.mly", line 1197, characters 7-19: - Warning: the token Vpirnmosprim is unused. - File "Input.mly", line 1198, characters 7-19: - Warning: the token Vpirpmosprim is unused. - File "Input.mly", line 1200, characters 7-22: - Warning: the token Vpirtranif0prim is unused. - File "Input.mly", line 1201, characters 7-22: - Warning: the token Vpirtranif1prim is unused. - File "Input.mly", line 1202, characters 7-19: - Warning: the token Vpirtranprim is unused. - File "Input.mly", line 1203, characters 7-23: - Warning: the token Vpisaverestartid is unused. - File "Input.mly", line 1204, characters 7-29: - Warning: the token Vpisaverestartlocation is unused. - File "Input.mly", line 1205, characters 7-16: - Warning: the token Vpiscalar is unused. - File "Input.mly", line 1206, characters 7-20: - Warning: the token Vpischedevent is unused. - File "Input.mly", line 1207, characters 7-19: - Warning: the token Vpischeduled is unused. - File "Input.mly", line 1208, characters 7-15: - Warning: the token Vpiscope is unused. - File "Input.mly", line 1209, characters 7-17: - Warning: the token Vpiseqprim is unused. - File "Input.mly", line 1210, characters 7-29: - Warning: the token Vpisetinteractivescope is unused. - File "Input.mly", line 1211, characters 7-15: - Warning: the token Vpisetup is unused. - File "Input.mly", line 1212, characters 7-19: - Warning: the token Vpisetuphold is unused. - File "Input.mly", line 1213, characters 7-16: - Warning: the token Vpisimnet is unused. - File "Input.mly", line 1215, characters 7-19: - Warning: the token Vpisizedfunc is unused. - File "Input.mly", line 1216, characters 7-25: - Warning: the token Vpisizedsignedfunc is unused. - File "Input.mly", line 1217, characters 7-14: - Warning: the token Vpiskew is unused. - File "Input.mly", line 1218, characters 7-19: - Warning: the token Vpispecparam is unused. - File "Input.mly", line 1220, characters 7-14: - Warning: the token Vpistop is unused. - File "Input.mly", line 1221, characters 7-19: - Warning: the token Vpistrength0 is unused. - File "Input.mly", line 1222, characters 7-19: - Warning: the token Vpistrength1 is unused. - File "Input.mly", line 1223, characters 7-21: - Warning: the token Vpistringconst is unused. - File "Input.mly", line 1225, characters 7-17: - Warning: the token Vpisupply0 is unused. - File "Input.mly", line 1226, characters 7-17: - Warning: the token Vpisupply1 is unused. - File "Input.mly", line 1227, characters 7-16: - Warning: the token Vpiswitch is unused. - File "Input.mly", line 1228, characters 7-21: - Warning: the token Vpiswitcharray is unused. - File "Input.mly", line 1229, characters 7-21: - Warning: the token Vpisysfunccall is unused. - File "Input.mly", line 1230, characters 7-21: - Warning: the token Vpisystaskcall is unused. - File "Input.mly", line 1231, characters 7-19: - Warning: the token Vpisystfcall is unused. - File "Input.mly", line 1232, characters 7-20: - Warning: the token Vpitableentry is unused. - File "Input.mly", line 1234, characters 7-18: - Warning: the token Vpitaskcall is unused. - File "Input.mly", line 1236, characters 7-14: - Warning: the token Vpitchk is unused. - File "Input.mly", line 1237, characters 7-22: - Warning: the token Vpitchkdataterm is unused. - File "Input.mly", line 1238, characters 7-22: - Warning: the token Vpitchknotifier is unused. - File "Input.mly", line 1239, characters 7-21: - Warning: the token Vpitchkrefterm is unused. - File "Input.mly", line 1240, characters 7-18: - Warning: the token Vpitchkterm is unused. - File "Input.mly", line 1241, characters 7-18: - Warning: the token Vpitchktype is unused. - File "Input.mly", line 1242, characters 7-19: - Warning: the token Vpitermindex is unused. - File "Input.mly", line 1243, characters 7-19: - Warning: the token Vpitimeconst is unused. - File "Input.mly", line 1244, characters 7-18: - Warning: the token Vpitimefunc is unused. - File "Input.mly", line 1245, characters 7-23: - Warning: the token Vpitimeprecision is unused. - File "Input.mly", line 1246, characters 7-19: - Warning: the token Vpitimequeue is unused. - File "Input.mly", line 1247, characters 7-18: - Warning: the token Vpitimeskew is unused. - File "Input.mly", line 1248, characters 7-18: - Warning: the token Vpitimeunit is unused. - File "Input.mly", line 1249, characters 7-17: - Warning: the token Vpitimevar is unused. - File "Input.mly", line 1251, characters 7-21: - Warning: the token Vpitranif0prim is unused. - File "Input.mly", line 1252, characters 7-21: - Warning: the token Vpitranif1prim is unused. - File "Input.mly", line 1253, characters 7-18: - Warning: the token Vpitranprim is unused. - File "Input.mly", line 1254, characters 7-13: - Warning: the token Vpitri is unused. - File "Input.mly", line 1255, characters 7-14: - Warning: the token Vpitri0 is unused. - File "Input.mly", line 1256, characters 7-14: - Warning: the token Vpitri1 is unused. - File "Input.mly", line 1257, characters 7-16: - Warning: the token Vpitriand is unused. - File "Input.mly", line 1258, characters 7-15: - Warning: the token Vpitrior is unused. - File "Input.mly", line 1259, characters 7-16: - Warning: the token Vpitrireg is unused. - File "Input.mly", line 1260, characters 7-14: - Warning: the token Vpitype is unused. - File "Input.mly", line 1261, characters 7-13: - Warning: the token Vpiudp is unused. - File "Input.mly", line 1262, characters 7-18: - Warning: the token Vpiudparray is unused. - File "Input.mly", line 1263, characters 7-17: - Warning: the token Vpiudpdefn is unused. - File "Input.mly", line 1264, characters 7-19: - Warning: the token Vpiuintconst is unused. - File "Input.mly", line 1271, characters 7-21: - Warning: the token Vpiunconndrive is unused. - File "Input.mly", line 1272, characters 7-19: - Warning: the token Vpiundefined is unused. - File "Input.mly", line 1273, characters 7-17: - Warning: the token Vpiunknown is unused. - File "Input.mly", line 1274, characters 7-13: - Warning: the token Vpiuse is unused. - File "Input.mly", line 1275, characters 7-18: - Warning: the token Vpiuserdefn is unused. - File "Input.mly", line 1276, characters 7-19: - Warning: the token Vpiusersystf is unused. - File "Input.mly", line 1277, characters 7-15: - Warning: the token Vpiuwire is unused. - File "Input.mly", line 1278, characters 7-15: - Warning: the token Vpivalid is unused. - File "Input.mly", line 1280, characters 7-19: - Warning: the token Vpivarselect is unused. - File "Input.mly", line 1281, characters 7-16: - Warning: the token Vpivector is unused. - File "Input.mly", line 1282, characters 7-14: - Warning: the token Vpiwait is unused. - File "Input.mly", line 1283, characters 7-14: - Warning: the token Vpiwand is unused. - File "Input.mly", line 1284, characters 7-15: - Warning: the token Vpiwhile is unused. - File "Input.mly", line 1285, characters 7-15: - Warning: the token Vpiwidth is unused. - File "Input.mly", line 1287, characters 7-14: - Warning: the token Vpiwire is unused. - File "Input.mly", line 1288, characters 7-13: - Warning: the token Vpiwor is unused. - File "Input.mly", line 1289, characters 7-18: - Warning: the token Vpixnorprim is unused. - File "Input.mly", line 1290, characters 7-17: - Warning: the token Vpixorprim is unused. - File "Input.mly", line 733, characters 7-12: - Warning: the token WHILE is unused. - File "Input.mly", line 724, characters 7-11: - Warning: the token WIRE is unused. - File "Input.mly", line 818, characters 22-27: - Warning: the token Width is unused. - File "Input.mly", line 1653, characters 0-12: - Warning: symbol const_decomp is unreachable from the start symbol. - File "Input.mly", line 1853, characters 0-11: - Warning: symbol initial_typ is unreachable from the start symbol. - File "Input.mly", line 1671, characters 0-6: - Warning: symbol modlst is unreachable from the start symbol. - File "Input.mly", line 2427, characters 0-11: - Warning: symbol unreachable is unreachable from the start symbol. - (cd _build/.sandbox/d68267cc08a4c82170ea8c5a623639a0/default && /home/opam/.opam/default/bin/menhir -la 2 Rtlil_input.mly --base Rtlil_input --infer-write-query Rtlil_input__mock.ml.mock) - File "Rtlil_input.mly", line 9, characters 8-14: - Warning: the token ACCEPT is unused. - File "Rtlil_input.mly", line 10, characters 8-17: - Warning: the token AMPERSAND is unused. - File "Rtlil_input.mly", line 11, characters 8-10: - Warning: the token AT is unused. - File "Rtlil_input.mly", line 12, characters 8-17: - Warning: the token BACKQUOTE is unused. - File "Rtlil_input.mly", line 13, characters 8-17: - Warning: the token BACKSLASH is unused. - File "Rtlil_input.mly", line 14, characters 8-13: - Warning: the token CARET is unused. - File "Rtlil_input.mly", line 17, characters 15-20: - Warning: the token CONS1 is unused. - File "Rtlil_input.mly", line 18, characters 21-26: - Warning: the token CONS2 is unused. - File "Rtlil_input.mly", line 19, characters 27-32: - Warning: the token CONS3 is unused. - File "Rtlil_input.mly", line 20, characters 33-38: - Warning: the token CONS4 is unused. - File "Rtlil_input.mly", line 21, characters 39-44: - Warning: the token CONS5 is unused. - File "Rtlil_input.mly", line 22, characters 45-50: - Warning: the token CONS6 is unused. - File "Rtlil_input.mly", line 23, characters 51-56: - Warning: the token CONS7 is unused. - File "Rtlil_input.mly", line 24, characters 57-62: - Warning: the token CONS8 is unused. - File "Rtlil_input.mly", line 25, characters 63-68: - Warning: the token CONS9 is unused. - File "Rtlil_input.mly", line 26, characters 8-15: - Warning: the token DEFAULT is unused. - File "Rtlil_input.mly", line 27, characters 8-14: - Warning: the token DOLLAR is unused. - File "Rtlil_input.mly", line 28, characters 8-11: - Warning: the token DOT is unused. - File "Rtlil_input.mly", line 29, characters 8-19: - Warning: the token DOUBLEQUOTE is unused. - File "Rtlil_input.mly", line 30, characters 20-25: - Warning: the token ELIST is unused. - File "Rtlil_input.mly", line 31, characters 8-19: - Warning: the token EMPTY_TOKEN is unused. - File "Rtlil_input.mly", line 32, characters 8-11: - Warning: the token END is unused. - File "Rtlil_input.mly", line 34, characters 8-19: - Warning: the token ERROR_TOKEN is unused. - File "Rtlil_input.mly", line 35, characters 8-13: - Warning: the token Error is unused. - File "Rtlil_input.mly", line 36, characters 8-15: - Warning: the token GREATER is unused. - File "Rtlil_input.mly", line 37, characters 8-12: - Warning: the token HASH is unused. - File "Rtlil_input.mly", line 40, characters 8-12: - Warning: the token LESS is unused. - File "Rtlil_input.mly", line 41, characters 8-16: - Warning: the token LINEFEED is unused. - File "Rtlil_input.mly", line 42, characters 8-15: - Warning: the token PERCENT is unused. - File "Rtlil_input.mly", line 43, characters 8-13: - Warning: the token PLING is unused. - File "Rtlil_input.mly", line 44, characters 8-13: - Warning: the token QUERY is unused. - File "Rtlil_input.mly", line 45, characters 8-13: - Warning: the token QUOTE is unused. - File "Rtlil_input.mly", line 48, characters 21-26: - Warning: the token SLIST is unused. - File "Rtlil_input.mly", line 49, characters 16-22: - Warning: the token STRING is unused. - File "Rtlil_input.mly", line 50, characters 8-13: - Warning: the token TILDE is unused. - File "Rtlil_input.mly", line 51, characters 20-25: - Warning: the token TLIST is unused. - File "Rtlil_input.mly", line 91, characters 69-76: - Warning: the token TUPLE10 is unused. - File "Rtlil_input.mly", line 92, characters 21-27: - Warning: the token TUPLE2 is unused. - File "Rtlil_input.mly", line 93, characters 27-33: - Warning: the token TUPLE3 is unused. - File "Rtlil_input.mly", line 94, characters 33-39: - Warning: the token TUPLE4 is unused. - File "Rtlil_input.mly", line 95, characters 39-45: - Warning: the token TUPLE5 is unused. - File "Rtlil_input.mly", line 96, characters 45-51: - Warning: the token TUPLE6 is unused. - File "Rtlil_input.mly", line 97, characters 51-57: - Warning: the token TUPLE7 is unused. - File "Rtlil_input.mly", line 98, characters 57-63: - Warning: the token TUPLE8 is unused. - File "Rtlil_input.mly", line 99, characters 63-69: - Warning: the token TUPLE9 is unused. - File "Rtlil_input.mly", line 100, characters 8-18: - Warning: the token UNDERSCORE is unused. - File "Rtlil_input.mly", line 101, characters 8-12: - Warning: the token VBAR is unused. - File "Rtlil_input.mly", line 35, characters 8-13: - Warning: please do not name a terminal symbol Error. - (cd _build/.sandbox/489abeb63d5abc79e427fbae2d3abeb5/default && /home/opam/.opam/default/bin/menhir -la 2 Formula.mly --base Formula --infer-write-query Formula__mock.ml.mock) - File "Formula.mly", line 5, characters 8-14: - Warning: the token ACCEPT is unused. - File "Formula.mly", line 7, characters 8-10: - Warning: the token AT is unused. - File "Formula.mly", line 8, characters 8-17: - Warning: the token BACKQUOTE is unused. - File "Formula.mly", line 9, characters 8-17: - Warning: the token BACKSLASH is unused. - File "Formula.mly", line 11, characters 8-13: - Warning: the token COLON is unused. - File "Formula.mly", line 12, characters 8-13: - Warning: the token COMMA is unused. - File "Formula.mly", line 13, characters 15-20: - Warning: the token CONS1 is unused. - File "Formula.mly", line 14, characters 21-26: - Warning: the token CONS2 is unused. - File "Formula.mly", line 15, characters 27-32: - Warning: the token CONS3 is unused. - File "Formula.mly", line 16, characters 33-38: - Warning: the token CONS4 is unused. - File "Formula.mly", line 17, characters 8-15: - Warning: the token DEFAULT is unused. - File "Formula.mly", line 18, characters 8-11: - Warning: the token DIV is unused. - File "Formula.mly", line 19, characters 8-14: - Warning: the token DOLLAR is unused. - File "Formula.mly", line 20, characters 8-11: - Warning: the token DOT is unused. - File "Formula.mly", line 21, characters 8-19: - Warning: the token DOUBLEQUOTE is unused. - File "Formula.mly", line 22, characters 20-25: - Warning: the token ELIST is unused. - File "Formula.mly", line 23, characters 8-19: - Warning: the token EMPTY_TOKEN is unused. - File "Formula.mly", line 24, characters 8-11: - Warning: the token END is unused. - File "Formula.mly", line 26, characters 8-10: - Warning: the token EQ is unused. - File "Formula.mly", line 27, characters 8-13: - Warning: the token ERROR is unused. - File "Formula.mly", line 28, characters 8-19: - Warning: the token ERROR_TOKEN is unused. - File "Formula.mly", line 29, characters 8-15: - Warning: the token GREATER is unused. - File "Formula.mly", line 30, characters 8-12: - Warning: the token HASH is unused. - File "Formula.mly", line 32, characters 8-17: - Warning: the token KW_DEFINE is unused. - File "Formula.mly", line 33, characters 8-23: - Warning: the token KW_DEFINE_GROUP is unused. - File "Formula.mly", line 34, characters 8-16: - Warning: the token KW_FALSE is unused. - File "Formula.mly", line 35, characters 8-15: - Warning: the token KW_TRUE is unused. - File "Formula.mly", line 36, characters 8-14: - Warning: the token LBRACE is unused. - File "Formula.mly", line 37, characters 8-14: - Warning: the token LBRACK is unused. - File "Formula.mly", line 38, characters 8-14: - Warning: the token LCURLY is unused. - File "Formula.mly", line 39, characters 8-12: - Warning: the token LESS is unused. - File "Formula.mly", line 40, characters 8-16: - Warning: the token LINEFEED is unused. - File "Formula.mly", line 42, characters 8-13: - Warning: the token MINUS is unused. - File "Formula.mly", line 45, characters 8-15: - Warning: the token PERCENT is unused. - File "Formula.mly", line 48, characters 8-13: - Warning: the token QUERY is unused. - File "Formula.mly", line 50, characters 8-14: - Warning: the token RBRACE is unused. - File "Formula.mly", line 51, characters 8-14: - Warning: the token RBRACK is unused. - File "Formula.mly", line 52, characters 8-14: - Warning: the token RCURLY is unused. - File "Formula.mly", line 54, characters 8-12: - Warning: the token SEMI is unused. - File "Formula.mly", line 55, characters 21-26: - Warning: the token SLIST is unused. - File "Formula.mly", line 56, characters 16-22: - Warning: the token STRING is unused. - File "Formula.mly", line 57, characters 8-13: - Warning: the token TILDE is unused. - File "Formula.mly", line 58, characters 20-25: - Warning: the token TLIST is unused. - File "Formula.mly", line 59, characters 69-76: - Warning: the token TUPLE10 is unused. - File "Formula.mly", line 60, characters 21-27: - Warning: the token TUPLE2 is unused. - File "Formula.mly", line 61, characters 27-33: - Warning: the token TUPLE3 is unused. - File "Formula.mly", line 62, characters 33-39: - Warning: the token TUPLE4 is unused. - File "Formula.mly", line 63, characters 39-45: - Warning: the token TUPLE5 is unused. - File "Formula.mly", line 64, characters 45-51: - Warning: the token TUPLE6 is unused. - File "Formula.mly", line 65, characters 51-57: - Warning: the token TUPLE7 is unused. - File "Formula.mly", line 66, characters 57-63: - Warning: the token TUPLE8 is unused. - File "Formula.mly", line 67, characters 63-69: - Warning: the token TUPLE9 is unused. - File "Formula.mly", line 68, characters 8-13: - Warning: the token UNARY is unused. - File "Formula.mly", line 69, characters 8-18: - Warning: the token UNDERSCORE is unused. - (cd _build/.sandbox/8c71d10735d2aea98f033e74dc89cb2b/default && /home/opam/.opam/default/bin/menhir -la 2 File.mly --base File --infer-read-reply File__mock.mli.inferred) - Built an LR(0) automaton with 81 states. - The construction mode is pager. - Built an LR(1) automaton with 81 states. - Warning: 7 states have shift/reduce conflicts. - Warning: 25 shift/reduce conflicts were arbitrarily resolved. - (cd _build/.sandbox/455f9dffd97309075ccf4400563443be/default && /home/opam/.opam/default/bin/menhir -la 2 Source_text_verible.mly --base Source_text_verible --infer-write-query Source_text_verible__mock.ml.mock) - File "Source_text_verible.mly", line 9, characters 8-14: - Warning: the token ACCEPT is unused. - File "Source_text_verible.mly", line 16, characters 8-16: - Warning: the token Absdelay is unused. - File "Source_text_verible.mly", line 18, characters 8-15: - Warning: the token Ac_stim is unused. - File "Source_text_verible.mly", line 22, characters 8-18: - Warning: the token Aliasparam is unused. - File "Source_text_verible.mly", line 28, characters 8-16: - Warning: the token Analysis is unused. - File "Source_text_verible.mly", line 34, characters 8-17: - Warning: the token BACKQUOTE is unused. - File "Source_text_verible.mly", line 35, characters 8-27: - Warning: the token BACKQUOTE_BACKQUOTE is unused. - File "Source_text_verible.mly", line 69, characters 8-17: - Warning: the token BACKSLASH is unused. - File "Source_text_verible.mly", line 89, characters 15-20: - Warning: the token CONS1 is unused. - File "Source_text_verible.mly", line 90, characters 21-26: - Warning: the token CONS2 is unused. - File "Source_text_verible.mly", line 91, characters 27-32: - Warning: the token CONS3 is unused. - File "Source_text_verible.mly", line 92, characters 33-38: - Warning: the token CONS4 is unused. - File "Source_text_verible.mly", line 93, characters 39-44: - Warning: the token CONS5 is unused. - File "Source_text_verible.mly", line 94, characters 45-50: - Warning: the token CONS6 is unused. - File "Source_text_verible.mly", line 95, characters 51-56: - Warning: the token CONS7 is unused. - File "Source_text_verible.mly", line 96, characters 57-62: - Warning: the token CONS8 is unused. - File "Source_text_verible.mly", line 97, characters 63-68: - Warning: the token CONS9 is unused. - File "Source_text_verible.mly", line 103, characters 8-15: - Warning: the token Checker is unused. - File "Source_text_verible.mly", line 108, characters 8-15: - Warning: the token Connect is unused. - File "Source_text_verible.mly", line 109, characters 8-21: - Warning: the token Connectmodule is unused. - File "Source_text_verible.mly", line 110, characters 8-20: - Warning: the token Connectrules is unused. - File "Source_text_verible.mly", line 120, characters 8-15: - Warning: the token DEFAULT is unused. - File "Source_text_verible.mly", line 139, characters 8-19: - Warning: the token DOUBLEQUOTE is unused. - File "Source_text_verible.mly", line 151, characters 8-21: - Warning: the token Driver_update is unused. - File "Source_text_verible.mly", line 152, characters 20-25: - Warning: the token ELIST is unused. - File "Source_text_verible.mly", line 153, characters 8-19: - Warning: the token EMPTY_TOKEN is unused. - File "Source_text_verible.mly", line 154, characters 8-17: - Warning: the token EOF_TOKEN is unused. - File "Source_text_verible.mly", line 166, characters 8-18: - Warning: the token Endchecker is unused. - File "Source_text_verible.mly", line 170, characters 8-23: - Warning: the token Endconnectrules is unused. - File "Source_text_verible.mly", line 179, characters 8-19: - Warning: the token Endparamset is unused. - File "Source_text_verible.mly", line 188, characters 8-13: - Warning: the token Error is unused. - File "Source_text_verible.mly", line 205, characters 8-21: - Warning: the token Flicker_noise is unused. - File "Source_text_verible.mly", line 212, characters 8-16: - Warning: the token Forkjoin is unused. - File "Source_text_verible.mly", line 229, characters 8-17: - Warning: the token HYPHEN_GT is unused. - File "Source_text_verible.mly", line 257, characters 8-20: - Warning: the token Interconnect is unused. - File "Source_text_verible.mly", line 271, characters 8-16: - Warning: the token LINEFEED is unused. - File "Source_text_verible.mly", line 274, characters 8-41: - Warning: the token LPAREN_STAR_attribute_STAR_RPAREN is unused. - File "Source_text_verible.mly", line 280, characters 8-56: - Warning: the token LT_LT_BACKSLASH_BACKSLASH_line_HYPHEN_cont_GT_GT is unused. - File "Source_text_verible.mly", line 281, characters 8-41: - Warning: the token LT_LT_BACKSLASH_BACKSLASH_n_GT_GT is unused. - File "Source_text_verible.mly", line 284, characters 8-25: - Warning: the token LT_LT_space_GT_GT is unused. - File "Source_text_verible.mly", line 286, characters 8-18: - Warning: the token Laplace_nd is unused. - File "Source_text_verible.mly", line 287, characters 8-18: - Warning: the token Laplace_np is unused. - File "Source_text_verible.mly", line 288, characters 8-18: - Warning: the token Laplace_zd is unused. - File "Source_text_verible.mly", line 289, characters 8-18: - Warning: the token Laplace_zp is unused. - File "Source_text_verible.mly", line 291, characters 8-21: - Warning: the token Last_crossing is unused. - File "Source_text_verible.mly", line 292, characters 8-25: - Warning: the token Less_than_TK_else is unused. - File "Source_text_verible.mly", line 296, characters 8-14: - Warning: the token Limexp is unused. - File "Source_text_verible.mly", line 319, characters 8-22: - Warning: the token Net_resolution is unused. - File "Source_text_verible.mly", line 324, characters 8-19: - Warning: the token Noise_table is unused. - File "Source_text_verible.mly", line 348, characters 8-16: - Warning: the token Paramset is unused. - File "Source_text_verible.mly", line 352, characters 8-11: - Warning: the token Pow is unused. - File "Source_text_verible.mly", line 385, characters 8-17: - Warning: the token Resolveto is unused. - File "Source_text_verible.mly", line 398, characters 8-81: - Warning: the token SLASH_AMPERSAND_lowast_SEMICOLON_comment_AMPERSAND_lowast_SEMICOLON_SLASH is unused. - File "Source_text_verible.mly", line 400, characters 8-39: - Warning: the token SLASH_SLASH_end_of_line_comment is unused. - File "Source_text_verible.mly", line 401, characters 21-26: - Warning: the token SLIST is unused. - File "Source_text_verible.mly", line 407, characters 16-22: - Warning: the token STRING is unused. - File "Source_text_verible.mly", line 414, characters 8-16: - Warning: the token Scalared is unused. - File "Source_text_verible.mly", line 455, characters 8-16: - Warning: the token TK_OTHER is unused. - File "Source_text_verible.mly", line 466, characters 20-25: - Warning: the token TLIST is unused. - File "Source_text_verible.mly", line 467, characters 69-76: - Warning: the token TUPLE10 is unused. - File "Source_text_verible.mly", line 468, characters 75-82: - Warning: the token TUPLE11 is unused. - File "Source_text_verible.mly", line 469, characters 81-88: - Warning: the token TUPLE12 is unused. - File "Source_text_verible.mly", line 470, characters 87-94: - Warning: the token TUPLE13 is unused. - File "Source_text_verible.mly", line 471, characters 93-100: - Warning: the token TUPLE14 is unused. - File "Source_text_verible.mly", line 472, characters 99-106: - Warning: the token TUPLE15 is unused. - File "Source_text_verible.mly", line 473, characters 21-27: - Warning: the token TUPLE2 is unused. - File "Source_text_verible.mly", line 474, characters 27-33: - Warning: the token TUPLE3 is unused. - File "Source_text_verible.mly", line 475, characters 33-39: - Warning: the token TUPLE4 is unused. - File "Source_text_verible.mly", line 476, characters 39-45: - Warning: the token TUPLE5 is unused. - File "Source_text_verible.mly", line 477, characters 45-51: - Warning: the token TUPLE6 is unused. - File "Source_text_verible.mly", line 478, characters 51-57: - Warning: the token TUPLE7 is unused. - File "Source_text_verible.mly", line 479, characters 57-63: - Warning: the token TUPLE8 is unused. - File "Source_text_verible.mly", line 480, characters 63-69: - Warning: the token TUPLE9 is unused. - File "Source_text_verible.mly", line 494, characters 8-18: - Warning: the token Transition is unused. - File "Source_text_verible.mly", line 522, characters 8-16: - Warning: the token Vectored is unused. - File "Source_text_verible.mly", line 526, characters 8-18: - Warning: the token Wait_order is unused. - File "Source_text_verible.mly", line 532, characters 8-19: - Warning: the token White_noise is unused. - File "Source_text_verible.mly", line 543, characters 8-13: - Warning: the token Zi_nd is unused. - File "Source_text_verible.mly", line 544, characters 8-13: - Warning: the token Zi_np is unused. - File "Source_text_verible.mly", line 545, characters 8-13: - Warning: the token Zi_zd is unused. - File "Source_text_verible.mly", line 546, characters 8-13: - Warning: the token Zi_zp is unused. - File "Source_text_verible.mly", line 188, characters 8-13: - Warning: please do not name a terminal symbol Error. - (cd _build/.sandbox/3a013700a0a9348ff102499d4bd94dcd/default && /home/opam/.opam/default/bin/menhir -la 2 Formula.mly --base Formula --infer-read-reply Formula__mock.mli.inferred) - Built an LR(0) automaton with 26 states. - The construction mode is pager. - Built an LR(1) automaton with 26 states. - Warning: one state has shift/reduce conflicts. - Warning: one shift/reduce conflict was arbitrarily resolved. - (cd _build/.sandbox/a24399ba7f024f41c6ce810b760fba81/default && /home/opam/.opam/default/bin/menhir -la 2 Rtlil_input.mly --base Rtlil_input --infer-read-reply Rtlil_input__mock.mli.inferred) - Built an LR(0) automaton with 169 states. - The construction mode is pager. - Built an LR(1) automaton with 169 states. - (cd _build/.sandbox/7c4f011f8c40a6dff372800f961b60a0/default && /home/opam/.opam/default/bin/menhir -la 2 rtl_parser.mly --base rtl_parser --infer-read-reply rtl_parser__mock.mli.inferred) - Built an LR(0) automaton with 1318 states. - The construction mode is pager. - Built an LR(1) automaton with 1330 states. - 1067 shift/reduce conflicts were silently solved. - Warning: 3 states have shift/reduce conflicts. - Warning: 3 shift/reduce conflicts were arbitrarily resolved. - (cd _build/.sandbox/192959cc6c5defb20eb5832fb369bd43/default && /home/opam/.opam/default/bin/menhir -la 2 Input.mly --base Input --infer-read-reply Input__mock.mli.inferred) - Built an LR(0) automaton with 2253 states. - The construction mode is pager. - Built an LR(1) automaton with 2253 states. - Warning: one state has shift/reduce conflicts. - Warning: 29 states have reduce/reduce conflicts. - Warning: one shift/reduce conflict was arbitrarily resolved. - Warning: 1380 reduce/reduce conflicts were arbitrarily resolved. - File "Input.mly", line 2337, characters 15-15: - Warning: production assignment_def -> is never reduced. - File "Input.mly", line 2366, characters 15-15: - Warning: production class_typespec -> is never reduced. - File "Input.mly", line 2328, characters 13-13: - Warning: production constant_def -> is never reduced. - File "Input.mly", line 2334, characters 18-18: - Warning: production event_control_def -> is never reduced. - File "Input.mly", line 1824, characters 4-28: - Warning: production gen_case_opt -> Vpicondition COLON oexpr is never reduced. - File "Input.mly", line 2340, characters 17-17: - Warning: production int_typespec_def -> is never reduced. - File "Input.mly", line 2343, characters 21-21: - Warning: production integer_typespec_def -> is never reduced. - File "Input.mly", line 2331, characters 14-14: - Warning: production operation_def -> is never reduced. - File "Input.mly", line 2346, characters 10-10: - Warning: production range_def -> is never reduced. - File "Input.mly", line 1701, characters 4-43: - Warning: production weak_opt -> Logic_typespec COLON logic_typespec_def is never reduced. - Warning: in total, 10 productions are never reduced. - (cd _build/.sandbox/e019f088469d47cdf71097ddd15a5cc8/default && /home/opam/.opam/default/bin/menhir -la 2 Source_text_verible.mly --base Source_text_verible --infer-read-reply Source_text_verible__mock.mli.inferred) - Built an LR(0) automaton with 3819 states. - The construction mode is pager. - Built an LR(1) automaton with 3819 states. - Warning: 6 states have shift/reduce conflicts. - Warning: 3 states have reduce/reduce conflicts. - Warning: 6 shift/reduce conflicts were arbitrarily resolved. - Warning: 157 reduce/reduce conflicts were arbitrarily resolved. - File "Source_text_verible.mly", line 2898, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2899, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2901, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2904, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2905, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2906, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2907, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2908, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2909, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2910, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2911, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2912, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2913, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2914, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2915, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2916, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2917, characters 3-7: - Warning: production udp_input_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2923, characters 3-7: - Warning: production udp_output_sym -> CHAR is never reduced. - File "Source_text_verible.mly", line 2924, characters 3-7: - Warning: production udp_output_sym -> CHAR is never reduced. - Warning: in total, 19 productions are never reduced. -> compiled hardcaml-lua.0.0.1 -> installed hardcaml-lua.0.0.1 [WARNING] Opam packages conf-pkg-config.5 and conf-python-3.9.0.0 depend on the following system packages that are no longer installed: pkg-config python3 - conf-pkg-config.5: depends on pkg-config - conf-python-3.9.0.0: depends on python3 === STDERR === 2026-09-04 22:07.18: OK: build hardcaml-lua.0.0.1 (runc: 76.7s, disk: 74KB) 2026-09-04 22:07.18: Job succeeded