family axioms, tuple access
view log » | |
install-ocaml-deps | view log » |
build | view log » |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 |
[#1306888] 2024/08/19 06:58:27 Booting image alpine/edge (x86_64) on port 22617 [#1306888] 2024/08/19 06:58:27 Waiting for guest to settle [#1306888] 2024/08/19 06:58:36 Sending tasks [#1306888] 2024/08/19 06:58:37 Sending build environment [#1306888] 2024/08/19 06:58:37 Installing packages Warning: Permanently added '[localhost]:22617' (ED25519) to the list of known hosts. fetch http://dl-cdn.alpinelinux.org/alpine/edge/main/x86_64/APKINDEX.tar.gz fetch http://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz fetch http://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz OK: 489 MiB in 139 packages Warning: Permanently added '[localhost]:22617' (ED25519) to the list of known hosts. (1/21) Installing dune (3.16.0-r0) (2/21) Installing libgmpxx (6.3.0-r1) (3/21) Installing gmp-dev (6.3.0-r1) (4/21) Installing ocaml-runtime (4.14.2-r1) (5/21) Installing ocaml (4.14.2-r1) (6/21) Installing perl (5.40.0-r1) (7/21) Installing perl-error (0.17029-r2) (8/21) Installing perl-git (2.46.0-r0) (9/21) Installing git-perl (2.46.0-r0) (10/21) Installing rpm-scripts (4.19.1.1-r1) (11/21) Installing ocaml-abuild-helper (4.14.2-r1) (12/21) Installing ocaml-compiler-libs (4.14.2-r1) (13/21) Installing unzip (6.0-r15) (14/21) Installing coreutils-env (9.5-r1) (15/21) Installing coreutils-fmt (9.5-r1) (16/21) Installing coreutils-sha512sum (9.5-r1) (17/21) Installing skalibs (2.14.2.0-r0) (18/21) Installing utmps-libs (0.1.2.2-r1) (19/21) Installing coreutils (9.5-r1) (20/21) Installing bubblewrap (0.10.0-r0) (21/21) Installing opam (2.2.0-r0) Executing busybox-1.36.1-r31.trigger OK: 771 MiB in 160 packages [#1306888] 2024/08/19 06:58:40 Cloning repositories Cloning into 'sylvan'... + cd sylvan + git checkout -q b97c008bd5f72ffca6cf04cd765c7157926ab2ce + cd sylvan + git submodule update --init --recursive [#1306888] 2024/08/19 06:58:41 Running task install-ocaml-deps [#1306888] 2024/08/19 07:02:10 Running task build [#1306888] 2024/08/19 07:02:14 Build failed. [#1306888] 2024/08/19 07:02:14 The build environment will be kept alive for 10 minutes. [#1306888] 2024/08/19 07:02:14 To log in with SSH and examine it, use the following command: [#1306888] 2024/08/19 07:02:14 [#1306888] 2024/08/19 07:02:14 ssh -t builds@fra01.builds.sr.ht connect 1306888 [#1306888] 2024/08/19 07:02:14 [#1306888] 2024/08/19 07:02:14 After logging in, the deadline is increased to your remaining build time. [#1306888] 2024/08/19 07:12:14 Deadline elapsed. Terminating build environment. [#1306888] 2024/08/19 07:12:14 Error: Running task on guest: exit status 1 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 |
+ opam init --yes No configuration file found, using built-in defaults. Checking for available remotes: git, mercurial. - you won't be able to use rsync and local repositories unless you install the rsync command on your system. - you won't be able to use darcs repositories unless you install the darcs command on your system. <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [default] Initialised <><> Required setup - please read <><><><><><><><><><><><><><><><><><><><><><><> In normal operation, opam only alters files within ~/.opam. However, to best integrate with your system, some environment variables should be set. If you allow it to, this initialisation step will update your bash configuration by adding the following line to ~/.bash_profile: test -r '/home/build/.opam/opam-init/init.sh' && . '/home/build/.opam/opam-init/init.sh' > /dev/null 2> /dev/null || true Otherwise, every time you want to access your opam installation, you will need to run: eval $(opam env) You can always re-run this setup with 'opam init' later. [WARNING] Shell not updated in non-interactive mode: use --shell-setup <><> Creating initial switch 'default' (invariant ["ocaml" {>= "4.05.0"}] - initially with ocaml-system) <><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><> Switch invariant: ["ocaml" {>= "4.05.0"}] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed base-bigarray.base -> installed base-threads.base -> installed base-unix.base -> installed host-arch-x86_64.1 -> installed host-system-other.1 -> retrieved ocaml-system.4.14.2 (https://opam.ocaml.org/cache) -> installed ocaml-system.4.14.2 -> retrieved ocaml-config.2 (2 extra sources) -> retrieved ocaml-config.2 (2 extra sources) -> installed ocaml-config.2 -> installed ocaml.4.14.2 Done. # Run eval $(opam env --switch=default) to update the current shell environment ++ opam env + eval 'OPAM_LAST_ENV='\''/home/build/.opam/.last-env/env-1b462f732629e42a169785beed5b6ddb-0'\'';' export 'OPAM_LAST_ENV;' 'OPAM_SWITCH_PREFIX='\''/home/build/.opam/default'\'';' export 'OPAM_SWITCH_PREFIX;' 'CAML_LD_LIBRARY_PATH='\''/home/build/.opam/default/lib/stublibs:/usr/lib/ocaml/stublibs:/usr/lib/ocaml'\'';' export 'CAML_LD_LIBRARY_PATH;' 'OCAML_TOPLEVEL_PATH='\''/home/build/.opam/default/lib/toplevel'\'';' export 'OCAML_TOPLEVEL_PATH;' 'MANPATH='\'':/home/build/.opam/default/man'\'';' export 'MANPATH;' 'PATH='\''/home/build/.opam/default/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin'\'';' export 'PATH;' ++ OPAM_LAST_ENV=/home/build/.opam/.last-env/env-1b462f732629e42a169785beed5b6ddb-0 ++ export OPAM_LAST_ENV ++ OPAM_SWITCH_PREFIX=/home/build/.opam/default ++ export OPAM_SWITCH_PREFIX ++ CAML_LD_LIBRARY_PATH=/home/build/.opam/default/lib/stublibs:/usr/lib/ocaml/stublibs:/usr/lib/ocaml ++ export CAML_LD_LIBRARY_PATH ++ OCAML_TOPLEVEL_PATH=/home/build/.opam/default/lib/toplevel ++ export OCAML_TOPLEVEL_PATH ++ MANPATH=:/home/build/.opam/default/man ++ export MANPATH ++ PATH=/home/build/.opam/default/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin ++ export PATH + cd sylvan/bs + opam install --deps-only --yes . The following actions will be performed: === install 43 packages - install base v0.16.3 [required by ppx_expect] - install conf-bash 1 [required by base] - install conf-gmp 4 [required by zarith] - install conf-pkg-config 3 [required by zarith] - install cppo 1.6.9 [required by ppx_deriving] - install csexp 1.5.2 [required by dune-configurator] - install dune 3.16.0 [required by sylvan_stage0, sylvan_stage0_parser] - install dune-configurator 3.16.0 [required by base] - install gen 1.1 [required by sedlex] - install jane-street-headers v0.16.0 [required by time_now] - install jst-config v0.16.0 [required by time_now] - install menhir 20240715 [required by sylvan_stage0_parser] - install menhirCST 20240715 [required by menhir] - install menhirLib 20240715 [required by menhir] - install menhirSdk 20240715 [required by menhir] - install ocaml-compiler-libs v0.12.4 [required by ppxlib] - install ocamlbuild 0.15.0 [required by uucp] - install ocamlfind 1.9.6 [required by uucp, ppx_deriving, zarith] - install ppx_assert v0.16.0 [required by jst-config] - install ppx_base v0.16.0 [required by time_now] - install ppx_cold v0.16.0 [required by ppx_base] - install ppx_compare v0.16.0 [required by ppx_base] - install ppx_derivers 1.2.1 [required by ppx_deriving] - install ppx_deriving 6.0.2 [required by sylvan_stage0, sylvan_stage0_parser] - install ppx_enumerate v0.16.0 [required by ppx_base] - install ppx_expect v0.16.0 [required by sylvan_stage0, sylvan_stage0_parser] - install ppx_globalize v0.16.0 [required by ppx_base] - install ppx_hash v0.16.0 [required by ppx_base] - install ppx_here v0.16.0 [required by ppx_expect] - install ppx_inline_test v0.16.1 [required by ppx_expect] - install ppx_optcomp v0.16.0 [required by time_now] - install ppx_sexp_conv v0.16.0 [required by ppx_base] - install ppxlib 0.33.0 [required by ppx_expect, ppx_deriving, sedlex] - install re 1.11.0 [required by ppx_expect] - install sedlex 3.2 [required by sylvan_stage0_parser] - install seq base [required by re, gen] - install sexplib0 v0.16.0 [required by ppxlib, base] - install stdio v0.16.0 [required by ppx_expect] - install stdlib-shims 0.3.0 [required by ppxlib] - install time_now v0.16.0 [required by ppx_inline_test] - install topkg 1.0.7 [required by uucp] - install uucp 15.1.0 [required by sylvan_stage0] - install zarith 1.14 [required by sylvan_stage0_parser] <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed conf-bash.1 -> installed conf-pkg-config.3 -> retrieved conf-gmp.4 (https://opam.ocaml.org/cache) -> retrieved cppo.1.6.9 (https://opam.ocaml.org/cache) -> retrieved csexp.1.5.2 (https://opam.ocaml.org/cache) -> installed conf-gmp.4 -> retrieved gen.1.1 (https://opam.ocaml.org/cache) -> retrieved base.v0.16.3 (https://opam.ocaml.org/cache) -> retrieved jane-street-headers.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved jst-config.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ocaml-compiler-libs.v0.12.4 (https://opam.ocaml.org/cache) -> retrieved ocamlbuild.0.15.0 (https://opam.ocaml.org/cache) -> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715 (https://opam.ocaml.org/cache) -> retrieved dune.3.16.0, dune-configurator.3.16.0 (https://opam.ocaml.org/cache) -> installed ocamlbuild.0.15.0 -> retrieved ppx_assert.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ppx_base.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ocamlfind.1.9.6 (https://opam.ocaml.org/cache) -> retrieved ppx_cold.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ppx_derivers.1.2.1 (https://opam.ocaml.org/cache) -> retrieved ppx_compare.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ppx_deriving.6.0.2 (https://opam.ocaml.org/cache) -> retrieved ppx_enumerate.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ppx_globalize.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ppx_hash.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ppx_expect.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ppx_here.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ppx_inline_test.v0.16.1 (https://opam.ocaml.org/cache) -> retrieved ppx_sexp_conv.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved ppx_optcomp.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved re.1.11.0 (https://opam.ocaml.org/cache) -> retrieved sedlex.3.2 (https://opam.ocaml.org/cache) -> retrieved ppxlib.0.33.0 (https://opam.ocaml.org/cache) -> retrieved sexplib0.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved stdio.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved stdlib-shims.0.3.0 (https://opam.ocaml.org/cache) -> retrieved seq.base (2 extra sources) -> retrieved seq.base (2 extra sources) -> retrieved time_now.v0.16.0 (https://opam.ocaml.org/cache) -> retrieved topkg.1.0.7 (https://opam.ocaml.org/cache) -> retrieved zarith.1.14 (https://opam.ocaml.org/cache) -> retrieved uucp.15.1.0 (https://opam.ocaml.org/cache) -> installed dune.3.16.0 -> installed ocamlfind.1.9.6 -> installed cppo.1.6.9 -> installed csexp.1.5.2 -> installed jane-street-headers.v0.16.0 -> installed dune-configurator.3.16.0 -> installed menhirCST.20240715 -> installed menhirLib.20240715 -> installed menhirSdk.20240715 -> installed ocaml-compiler-libs.v0.12.4 -> installed menhir.20240715 -> installed ppx_derivers.1.2.1 -> installed seq.base -> installed sexplib0.v0.16.0 -> installed gen.1.1 -> installed base.v0.16.3 -> installed re.1.11.0 -> installed stdio.v0.16.0 -> installed stdlib-shims.0.3.0 -> installed topkg.1.0.7 -> installed ppxlib.0.33.0 -> installed uucp.15.1.0 -> installed ppx_cold.v0.16.0 -> installed ppx_compare.v0.16.0 -> installed ppx_deriving.6.0.2 -> installed ppx_enumerate.v0.16.0 -> installed ppx_globalize.v0.16.0 -> installed ppx_here.v0.16.0 -> installed ppx_optcomp.v0.16.0 -> installed ppx_sexp_conv.v0.16.0 -> installed sedlex.3.2 -> installed ppx_assert.v0.16.0 -> installed ppx_hash.v0.16.0 -> installed jst-config.v0.16.0 -> installed ppx_base.v0.16.0 -> installed zarith.1.14 -> installed time_now.v0.16.0 -> installed ppx_inline_test.v0.16.1 -> installed ppx_expect.v0.16.0 Done. |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 |
++ opam env + eval 'OPAM_LAST_ENV='\''/home/build/.opam/.last-env/env-1b462f732629e42a169785beed5b6ddb-0'\'';' export 'OPAM_LAST_ENV;' 'OPAM_SWITCH_PREFIX='\''/home/build/.opam/default'\'';' export 'OPAM_SWITCH_PREFIX;' 'CAML_LD_LIBRARY_PATH='\''/home/build/.opam/default/lib/stublibs:/usr/lib/ocaml/stublibs:/usr/lib/ocaml'\'';' export 'CAML_LD_LIBRARY_PATH;' 'OCAML_TOPLEVEL_PATH='\''/home/build/.opam/default/lib/toplevel'\'';' export 'OCAML_TOPLEVEL_PATH;' 'MANPATH='\'':/home/build/.opam/default/man'\'';' export 'MANPATH;' 'PATH='\''/home/build/.opam/default/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin'\'';' export 'PATH;' ++ OPAM_LAST_ENV=/home/build/.opam/.last-env/env-1b462f732629e42a169785beed5b6ddb-0 ++ export OPAM_LAST_ENV ++ OPAM_SWITCH_PREFIX=/home/build/.opam/default ++ export OPAM_SWITCH_PREFIX ++ CAML_LD_LIBRARY_PATH=/home/build/.opam/default/lib/stublibs:/usr/lib/ocaml/stublibs:/usr/lib/ocaml ++ export CAML_LD_LIBRARY_PATH ++ OCAML_TOPLEVEL_PATH=/home/build/.opam/default/lib/toplevel ++ export OCAML_TOPLEVEL_PATH ++ MANPATH=:/home/build/.opam/default/man ++ export MANPATH ++ PATH=/home/build/.opam/default/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin ++ export PATH + cd sylvan + bash misc/scripts/bootstrap.sh + test '!' -d build + mkdir build + bash misc/scripts/build-stage0.sh + test '!' -d /home/build/sylvan/build + rm -r /home/build/sylvan/build + mkdir /home/build/sylvan/build + cd /home/build/sylvan/bs + dune build bin/main.exe File "parser/parser.mly", line 18, characters 7-12: Warning: the token Annot is unused. File "parser/parser.mly", line 20, characters 7-13: Warning: the token Aspect is unused. File "parser/parser.mly", line 93, characters 7-24: Warning: the token BlockCommentClose is unused. File "parser/parser.mly", line 26, characters 7-10: Warning: the token Inh is unused. File "parser/parser.mly", line 32, characters 7-9: Warning: the token On is unused. File "parser/parser.mly", line 38, characters 7-10: Warning: the token Syn is unused. File "parser/parser.mly", line 42, characters 7-14: Warning: the token Without is unused. File "lib/util.ml", line 18, characters 10-31: 18 | include Hashtbl.Make (String) ^^^^^^^^^^^^^^^^^^^^^ Error: Modules do not match: sig type t = string val make : int -> char -> t val init : int -> (int -> char) -> t val empty : t val of_bytes : bytes -> t val to_bytes : t -> bytes external length : t -> int = "%string_length" external get : t -> int -> char = "%string_safe_get" val concat : t -> t list -> t val cat : t -> t -> t val equal : t -> t -> bool val compare : t -> t -> int val starts_with : prefix:t -> t -> bool val ends_with : suffix:t -> t -> bool val contains_from : t -> int -> char -> bool val rcontains_from : t -> int -> char -> bool val contains : t -> char -> bool val sub : t -> int -> int -> t val split_on_char : char -> t -> t list val map : (char -> char) -> t -> t val mapi : (int -> char -> char) -> t -> t val fold_left : ('a -> char -> 'a) -> 'a -> t -> 'a val fold_right : (char -> 'a -> 'a) -> t -> 'a -> 'a val for_all : (char -> bool) -> t -> bool val exists : (char -> bool) -> t -> bool val trim : t -> t val escaped : t -> t val uppercase_ascii : t -> t val lowercase_ascii : t -> t val capitalize_ascii : t -> t val uncapitalize_ascii : t -> t val iter : (char -> unit) -> t -> unit val iteri : (int -> char -> unit) -> t -> unit val index_from : t -> int -> char -> int val index_from_opt : t -> int -> char -> int option val rindex_from : t -> int -> char -> int val rindex_from_opt : t -> int -> char -> int option val index : t -> char -> int val index_opt : t -> char -> int option val rindex : t -> char -> int val rindex_opt : t -> char -> int option val to_seq : t -> char Seq.t val to_seqi : t -> (int * char) Seq.t val of_seq : char Seq.t -> t val get_utf_8_uchar : t -> int -> Uchar.utf_decode val is_valid_utf_8 : t -> bool val get_utf_16be_uchar : t -> int -> Uchar.utf_decode val is_valid_utf_16be : t -> bool val get_utf_16le_uchar : t -> int -> Uchar.utf_decode val is_valid_utf_16le : t -> bool external create : int -> bytes = "caml_create_string" external set : bytes -> int -> char -> unit = "%string_safe_set" val blit : t -> int -> bytes -> int -> int -> unit val copy : t -> t val fill : bytes -> int -> int -> char -> unit val uppercase : t -> t val lowercase : t -> t val capitalize : t -> t val uncapitalize : t -> t val get_uint8 : t -> int -> int val get_int8 : t -> int -> int val get_uint16_ne : t -> int -> int val get_uint16_be : t -> int -> int val get_uint16_le : t -> int -> int val get_int16_ne : t -> int -> int val get_int16_be : t -> int -> int val get_int16_le : t -> int -> int val get_int32_ne : t -> int -> int32 val get_int32_be : t -> int -> int32 val get_int32_le : t -> int -> int32 val get_int64_ne : t -> int -> int64 val get_int64_be : t -> int -> int64 val get_int64_le : t -> int -> int64 external unsafe_get : t -> int -> char = "%string_unsafe_get" external unsafe_set : bytes -> int -> char -> unit = "%string_unsafe_set" external unsafe_blit : t -> int -> bytes -> int -> int -> unit = "caml_blit_string" [@@noalloc] external unsafe_fill : bytes -> int -> int -> char -> unit = "caml_fill_string" [@@noalloc] end is not included in Hashtbl.HashedType The value `hash' is required but not provided File "hashtbl.mli", line 316, characters 4-23: Expected declaration File "lib/tyck_solve.ml", line 2202, characters 16-29: 2202 | else if List.is_empty residuals then subst ^^^^^^^^^^^^^ Error: Unbound value List.is_empty File "lib/tyck_kindck.ml", line 669, characters 18-33: 669 | ( AtomMap.of_list [ (repr_name, `Builtin Ast.RuntimeRepr) ], ^^^^^^^^^^^^^^^ Error: Unbound value AtomMap.of_list |