~remexre/#1365153

failed

1431138Nathan Ringo

Rearrange Tyck_common to minimize the amount of weird stuff that happens because of its letrec.

Owner
~remexre
Created
a month ago
Updated
a month ago
Build manifest
view manifest »

Tasks

view log »
install-ocaml-deps view log »
build view log »
go to bottom »
go to top »
setup
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
[#1365153] 2024/11/07 20:34:33 Booting image alpine/edge (x86_64) on port 22094
[#1365153] 2024/11/07 20:34:34 Waiting for guest to settle
[#1365153] 2024/11/07 20:34:42 Sending tasks
[#1365153] 2024/11/07 20:34:43 Sending build environment
[#1365153] 2024/11/07 20:34:44 Installing packages
Warning: Permanently added '[localhost]:22094' (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: 471 MiB in 137 packages
Warning: Permanently added '[localhost]:22094' (ED25519) to the list of known hosts.
(1/22) Installing dune (3.16.1-r0)
(2/22) Installing libgmpxx (6.3.0-r2)
(3/22) Installing gmp-dev (6.3.0-r2)
(4/22) Installing ocaml-runtime (4.14.2-r1)
(5/22) Installing ocaml (4.14.2-r1)
(6/22) Installing perl (5.40.0-r3)
(7/22) Installing perl-error (0.17029-r2)
(8/22) Installing perl-git (2.46.2-r0)
(9/22) Installing git-perl (2.46.2-r0)
(10/22) Installing rpm-scripts (4.19.1.1-r1)
(11/22) Installing ocaml-abuild-helper (4.14.2-r1)
(12/22) Installing ocaml-compiler-libs (4.14.2-r1)
(13/22) Installing unzip (6.0-r15)
(14/22) Installing coreutils-env (9.5-r1)
(15/22) Installing coreutils-fmt (9.5-r1)
(16/22) Installing coreutils-sha512sum (9.5-r1)
(17/22) Installing libattr (2.5.2-r2)
(18/22) Installing skalibs-libs (2.14.3.0-r0)
(19/22) Installing utmps-libs (0.1.2.3-r2)
(20/22) Installing coreutils (9.5-r1)
(21/22) Installing bubblewrap (0.10.0-r1)
(22/22) Installing opam (2.2.1-r0)
Executing busybox-1.37.0-r6.trigger
OK: 748 MiB in 159 packages
[#1365153] 2024/11/07 20:34:46 Cloning repositories
Cloning into 'sylvan'...
+ cd sylvan
+ git checkout -q 143113809a6e8c70b7c5ee5c270d5606e9b99034
+ cd sylvan
+ git submodule update --init --recursive
[#1365153] 2024/11/07 20:34:47 Running task install-ocaml-deps
[#1365153] 2024/11/07 20:38:22 Running task build
[#1365153] 2024/11/07 20:38:26 Build failed.
[#1365153] 2024/11/07 20:38:26 The build environment will be kept alive for 10 minutes.
[#1365153] 2024/11/07 20:38:26 To log in with SSH and examine it, use the following command:
[#1365153] 2024/11/07 20:38:26 
[#1365153] 2024/11/07 20:38:26 	ssh -t builds@fra02.builds.sr.ht connect 1365153
[#1365153] 2024/11/07 20:38:26 
[#1365153] 2024/11/07 20:38:26 After logging in, the deadline is increased to your remaining build time.
[#1365153] 2024/11/07 20:48:26 Deadline elapsed. Terminating build environment.
[#1365153] 2024/11/07 20:48:26 Error: Running task on guest: exit status 1
install-ocaml-deps
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)
-> retrieved ocaml-config.2  (2 extra sources)
-> retrieved ocaml-config.2  (2 extra sources)
-> installed ocaml-system.4.14.2
-> 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.7.0    [required by ppx_deriving]
  - install csexp               1.5.2    [required by dune-configurator]
  - install dune                3.16.1   [required by sylvan_stage0, sylvan_stage0_parser]
  - install dune-configurator   3.16.1   [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.3    [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.12.0   [required by ppx_expect]
  - install sedlex              3.3      [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                16.0.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 cppo.1.7.0  (https://opam.ocaml.org/cache)
-> retrieved conf-gmp.4  (https://opam.ocaml.org/cache)
-> retrieved csexp.1.5.2  (https://opam.ocaml.org/cache)
-> installed conf-gmp.4
-> retrieved base.v0.16.3  (https://opam.ocaml.org/cache)
-> retrieved gen.1.1  (https://opam.ocaml.org/cache)
-> retrieved jst-config.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved jane-street-headers.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved ocaml-compiler-libs.v0.12.4  (https://opam.ocaml.org/cache)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715  (https://opam.ocaml.org/cache)
-> retrieved dune.3.16.1, dune-configurator.3.16.1  (https://opam.ocaml.org/cache)
-> retrieved ppx_assert.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved ocamlbuild.0.15.0  (https://opam.ocaml.org/cache)
-> retrieved ppx_base.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved ppx_cold.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved ocamlfind.1.9.6  (https://opam.ocaml.org/cache)
-> retrieved ppx_compare.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved ppx_derivers.1.2.1  (https://opam.ocaml.org/cache)
-> retrieved ppx_deriving.6.0.3  (https://opam.ocaml.org/cache)
-> retrieved ppx_enumerate.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved ppx_expect.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved ppx_hash.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved ppx_globalize.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved ppx_here.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved ppx_optcomp.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 re.1.12.0  (https://opam.ocaml.org/cache)
-> retrieved ppxlib.0.33.0  (https://opam.ocaml.org/cache)
-> retrieved sedlex.3.3  (https://opam.ocaml.org/cache)
-> retrieved seq.base  (2 extra sources)
-> retrieved seq.base  (2 extra sources)
-> retrieved stdio.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved sexplib0.v0.16.0  (https://opam.ocaml.org/cache)
-> retrieved stdlib-shims.0.3.0  (https://opam.ocaml.org/cache)
-> 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.16.0.0  (https://opam.ocaml.org/cache)
-> installed dune.3.16.1
-> installed ocamlbuild.0.15.0
-> installed cppo.1.7.0
-> installed csexp.1.5.2
-> installed jane-street-headers.v0.16.0
-> installed dune-configurator.3.16.1
-> installed menhirCST.20240715
-> installed menhirLib.20240715
-> installed menhirSdk.20240715
-> installed ocaml-compiler-libs.v0.12.4
-> installed menhir.20240715
-> installed ocamlfind.1.9.6
-> 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.12.0
-> installed stdio.v0.16.0
-> installed stdlib-shims.0.3.0
-> installed topkg.1.0.7
-> installed ppxlib.0.33.0
-> installed uucp.16.0.0
-> installed ppx_cold.v0.16.0
-> installed ppx_compare.v0.16.0
-> installed ppx_deriving.6.0.3
-> 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.3
-> 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.
build
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
++ 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 59, characters 10-31:
59 |   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/resolve_names.ml", line 1119, characters 28-41:
1119 |   |> Seq.filter (fun def -> List.is_empty def.def_refs)
                                   ^^^^^^^^^^^^^
Error: Unbound value List.is_empty
File "lib/tyck_solver.ml", line 24, characters 10-17:
24 |           Var.set var (Permutation.ty (List.rev permutation) rhs);
               ^^^^^^^
Error: Unbound value Var.set
Hint: Did you mean get?
Build complete: failed a month ago (took 3 minutes)