2026-03-23 13:50.30: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/heads/implementations_gospel (cd13727dc0ed4d595f6f1504e53a0d5d64a38ac9) (linux-x86_64:(lower-bound))Base: ocaml/opam:debian-13-ocaml-4.09@sha256:41e6dcf5676516f92abac434470e80894b320cb1a1eec6b73d3502806da6053aOpam project buildTo reproduce locally:git clone --recursive "https://github.com/ocaml-gospel/gospel.git" -b "implementations_gospel" && cd "gospel" && git reset --hard cd13727dcat > Dockerfile <<'END-OF-DOCKERFILE'FROM ocaml/opam:debian-13-ocaml-4.09@sha256:41e6dcf5676516f92abac434470e80894b320cb1a1eec6b73d3502806da6053a# debian-13-4.09_opam-2.5USER 1000:1000ENV CLICOLOR_FORCE="1"ENV OPAMCOLOR="always"WORKDIR /srcRUN sudo ln -f /usr/bin/opam-2.5 /usr/bin/opamRUN opam init --reinit -niRUN uname -rs && opam exec -- ocaml -version && opam --versionWORKDIR /srcRUN sudo chown opam /srcRUN cd ~/opam-repository && (git cat-file -e 31462e7d24da1419f9eb9099a0b60ea507d91ef6 || git fetch origin master) && git reset -q --hard 31462e7d24da1419f9eb9099a0b60ea507d91ef6 && git log --no-decorate -n1 --oneline && opam update -uCOPY --chown=1000:1000 gospel.opam ./RUN opam pin add -yn gospel.dev './'RUN echo '(lang dune 3.0)' > './dune-project'ENV DEPS="base-bigarray.base base-bytes.base base-threads.base base-unix.base cmdliner.1.3.0 conf-m4.1 cppo.1.6.1 dune.2.7.1 fmt.0.8.8 jbuilder.1.0+beta20.1 menhir.20181006 ocaml.4.09.1 ocaml-base-compiler.4.09.1 ocaml-compiler-libs.v0.12.0 ocaml-config.1 ocamlbuild.0.14.0 ocamlfind.1.8.1 ppx_derivers.1.0 ppx_deriving.5.2.1 ppxlib.0.26.0 result.1.5 seq.0.3 sexplib0.v0.12.0 stdlib-shims.0.1.0 topkg.1.0.8"ENV CI="true"ENV OCAMLCI="true"RUN opam update --depexts && opam install --cli=2.5 --depext-only -y gospel.dev $DEPSRUN opam install $DEPSCOPY --chown=1000:1000 . /srcRUN opam exec -- dune build @install @check @runtest && rm -rf _buildEND-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2026-03-23 13:50.30: Using cache hint "ocaml-gospel/gospel-ocaml/opam:debian-13-ocaml-4.09@sha256:41e6dcf5676516f92abac434470e80894b320cb1a1eec6b73d3502806da6053a-debian-13-4.09_opam-2.5-34aa1edcd33f240c21707f89a3773a99"2026-03-23 13:50.30: Using OBuilder spec:((from ocaml/opam:debian-13-ocaml-4.09@sha256:41e6dcf5676516f92abac434470e80894b320cb1a1eec6b73d3502806da6053a)(comment debian-13-4.09_opam-2.5)(user (uid 1000) (gid 1000))(env CLICOLOR_FORCE 1)(env OPAMCOLOR always)(workdir /src)(run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))(run (shell "opam init --reinit -ni"))(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))(workdir /src)(run (shell "sudo chown opam /src"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 31462e7d24da1419f9eb9099a0b60ea507d91ef6 || git fetch origin master) && git reset -q --hard 31462e7d24da1419f9eb9099a0b60ea507d91ef6 && git log --no-decorate -n1 --oneline && opam update -u"))(copy (src gospel.opam) (dst ./))(run (network host)(shell "opam pin add -yn gospel.dev './'"))(run (shell "echo '(lang dune 3.0)' > './dune-project'"))(env DEPS "base-bigarray.base base-bytes.base base-threads.base base-unix.base cmdliner.1.3.0 conf-m4.1 cppo.1.6.1 dune.2.7.1 fmt.0.8.8 jbuilder.1.0+beta20.1 menhir.20181006 ocaml.4.09.1 ocaml-base-compiler.4.09.1 ocaml-compiler-libs.v0.12.0 ocaml-config.1 ocamlbuild.0.14.0 ocamlfind.1.8.1 ppx_derivers.1.0 ppx_deriving.5.2.1 ppxlib.0.26.0 result.1.5 seq.0.3 sexplib0.v0.12.0 stdlib-shims.0.1.0 topkg.1.0.8")(env CI true)(env OCAMLCI true)(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y gospel.dev $DEPS"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))(copy (src .) (dst /src))(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")))2026-03-23 13:50.30: Waiting for resource in pool OCluster2026-03-23 13:50.30: Waiting for worker…2026-03-23 13:50.30: Got resource from pool OClusterBuilding on eumacheAll commits already cachedHEAD is now at cd13727 Added !! entry in terms(from ocaml/opam:debian-13-ocaml-4.09@sha256:41e6dcf5676516f92abac434470e80894b320cb1a1eec6b73d3502806da6053a)2026-03-23 13:50.48 ---> saved as "28cee70f2eb4fa8fb33112744eaac147d7365d8f1114c87e4f5433c6be525f95"/: (comment debian-13-4.09_opam-2.5)/: (user (uid 1000) (gid 1000))/: (env CLICOLOR_FORCE 1)/: (env OPAMCOLOR always)/: (workdir /src)/src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))2026-03-23 13:50.48 ---> saved as "d7cee649f336d71aa3726e62bdb6a364a02d146071185f01540869da6a982fd9"/src: (run (shell "opam init --reinit -ni"))Configuring from /home/opam/.opamrc and then from built-in defaults.Checking for available remotes: rsync and local, git.- you won't be able to use mercurial repositories unless you install the hg command on your system.- you won't be able to use darcs repositories unless you install the darcs command on your system.This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.You may want to back it up before going further.Continue? [Y/n] yFormat upgrade done.<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>[default] Initialised2026-03-23 13:51.16 ---> saved as "68cdfb3c36ad9377e690d20a6d8149a4aea9e0d453e8185e4b85700889e99432"/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))Linux 5.15.0-131-genericThe OCaml toplevel, version 4.09.12.5.02026-03-23 13:51.17 ---> saved as "985d32b69c550867434ec7960bff23e0d2769e6b050fcc5c1283e230e25bf21f"/src: (workdir /src)/src: (run (shell "sudo chown opam /src"))2026-03-23 13:51.18 ---> saved as "70cf2f285c5eb2c41fecac9825d8db8fc82e3e303ed9d956e2f89343a8ebc805"/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 31462e7d24da1419f9eb9099a0b60ea507d91ef6 || git fetch origin master) && git reset -q --hard 31462e7d24da1419f9eb9099a0b60ea507d91ef6 && git log --no-decorate -n1 --oneline && opam update -u"))From https://github.com/ocaml/opam-repository* branch master -> FETCH_HEADffb54b9bdd..b2a1270dba master -> origin/master31462e7d24 Merge pull request #29451 from dra27/relocatable-package<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from git+file:///home/opam/opam-repositoryEverything as up-to-date as possible (run with --verbose to show unavailable upgrades).However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.5.0"), which will ask permission to downgrade or uninstall the conflicting packages.Nothing to do.# To update the current shell environment, run: eval $(opam env)2026-03-23 13:51.37 ---> saved as "fbb0b74e312748472766372f8dc1b2560593cf0c401866779bbdbb0d966c8cdd"/src: (copy (src gospel.opam) (dst ./))2026-03-23 13:51.38 ---> saved as "0d8bd680eb90690011c3be8dbfe3b97760821f382cd8f498ef402ff6b1ba0d48"/src: (run (network host)(shell "opam pin add -yn gospel.dev './'"))[gospel.dev] synchronised (file:///src)gospel is now pinned to file:///src (version dev)2026-03-23 13:51.41 ---> saved as "9a3e9464fbcd6568b504b7f429cb9e9fcda7d29181ca9090caf7b9a5ade3fb9f"/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))2026-03-23 13:51.42 ---> saved as "673b3155404592fd7713e45121d9905114f549ef649b516e9ff418c4e2ed1d12"/src: (env DEPS "base-bigarray.base base-bytes.base base-threads.base base-unix.base cmdliner.1.3.0 conf-m4.1 cppo.1.6.1 dune.2.7.1 fmt.0.8.8 jbuilder.1.0+beta20.1 menhir.20181006 ocaml.4.09.1 ocaml-base-compiler.4.09.1 ocaml-compiler-libs.v0.12.0 ocaml-config.1 ocamlbuild.0.14.0 ocamlfind.1.8.1 ppx_derivers.1.0 ppx_deriving.5.2.1 ppxlib.0.26.0 result.1.5 seq.0.3 sexplib0.v0.12.0 stdlib-shims.0.1.0 topkg.1.0.8")/src: (env CI true)/src: (env OCAMLCI true)/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.5 --depext-only -y gospel.dev $DEPS"))+ /usr/bin/sudo "apt-get" "update"- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]- Get:4 http://deb.debian.org/debian trixie/main amd64 Packages [9671 kB]- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [114 kB]- Fetched 10.0 MB in 4s (2474 kB/s)- Reading package lists...<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>[gospel.dev] synchronised (file:///src)[NOTE] Package ocaml-config is already installed (current version is 1).[NOTE] Package ocaml-base-compiler is already installed (current version is 4.09.1).[NOTE] Package ocaml is already installed (current version is 4.09.1).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).The following system packages will first need to be installed:m4<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "m4"- Selecting previously unselected package m4.- (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 20623 files and directories currently installed.)- Preparing to unpack .../archives/m4_1.4.19-8_amd64.deb ...- Unpacking m4 (1.4.19-8) ...- Setting up m4 (1.4.19-8) ...# To update the current shell environment, run: eval $(opam env)2026-03-23 13:52.03 ---> saved as "f052008476e0cd16dda18e1f6ef0cae64f0f8ee4d1f89a251e712d94b9eca4db"/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))[NOTE] Package ocaml-config is already installed (current version is 1).[NOTE] Package ocaml-base-compiler is already installed (current version is 4.09.1).[NOTE] Package ocaml is already installed (current version is 4.09.1).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).The following actions will be performed:=== install 19 packages- install base-bytes base- install cmdliner 1.3.0- install conf-m4 1- install cppo 1.6.1- install dune 2.7.1- install fmt 0.8.8- install jbuilder 1.0+beta20.1 (deprecated)- install menhir 20181006- install ocaml-compiler-libs v0.12.0- install ocamlbuild 0.14.0- install ocamlfind 1.8.1- install ppx_derivers 1.0- install ppx_deriving 5.2.1- install ppxlib 0.26.0- install result 1.5- install seq 0.3- install sexplib0 v0.12.0- install stdlib-shims 0.1.0- install topkg 1.0.8<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>-> retrieved cmdliner.1.3.0 (cached)-> retrieved cppo.1.6.1 (cached)-> retrieved dune.2.7.1 (cached)-> installed conf-m4.1-> retrieved fmt.0.8.8 (cached)-> retrieved jbuilder.1.0+beta20.1 (cached)-> retrieved menhir.20181006 (cached)-> retrieved ocaml-compiler-libs.v0.12.0 (cached)-> retrieved ocamlbuild.0.14.0 (cached)-> retrieved ocamlfind.1.8.1 (cached)-> retrieved ppx_derivers.1.0 (cached)-> retrieved ppx_deriving.5.2.1 (cached)-> retrieved result.1.5 (cached)-> retrieved seq.0.3 (cached)-> retrieved sexplib0.v0.12.0 (cached)-> retrieved stdlib-shims.0.1.0 (cached)-> retrieved topkg.1.0.8 (cached)-> retrieved ppxlib.0.26.0 (cached)-> installed cmdliner.1.3.0-> installed ocamlfind.1.8.1-> installed base-bytes.base-> installed ocamlbuild.0.14.0-> installed jbuilder.1.0+beta20.1-> installed ppx_derivers.1.0-> installed cppo.1.6.1-> installed dune.2.7.1-> installed seq.0.3-> installed result.1.5-> installed stdlib-shims.0.1.0-> installed sexplib0.v0.12.0-> installed topkg.1.0.8-> installed ocaml-compiler-libs.v0.12.0-> installed fmt.0.8.8-> installed ppxlib.0.26.0-> installed menhir.20181006-> installed ppx_deriving.5.2.1Done.<><> jbuilder.1.0+beta20.1 installed successfully <><><><><><><><><><><><><><><>=> Note: This package is deprecated.# To update the current shell environment, run: eval $(opam env)2026-03-23 13:52.47 ---> saved as "d518235f7c04b09f7e1194bc19fc21d2d53bbc0bb373f9a0fac042855b214db7"/src: (copy (src .) (dst /src))2026-03-23 13:52.49 ---> saved as "535e47473b510297118013a75e29c18491f35a259b7006441362d3c3078efdd2"/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))File "/home/opam/.opam/4.09/lib/ppx_derivers/ppx_derivers.dune", line 1, characters 0-0:Warning: .dune files are ignored since 2.0. Reinstall the library with dune>= 2.0 to get rid of this warning and enable support for the subsystem thislibrary provides.File "test/positive/abstract_functions.mli.expected", line 1, characters 0-0:git (internal) (exit 1)(cd _build/default && /usr/bin/git diff --no-index --color=always -u test/positive/abstract_functions.mli.expected test/positive/abstract_functions.mli.output)diff --git a/test/positive/abstract_functions.mli.expected b/test/positive/abstract_functions.mli.outputindex 31f081d..e4642e8 100644--- a/test/positive/abstract_functions.mli.expected+++ b/test/positive/abstract_functions.mli.output@@ -27,155 +27,5 @@[@@@gospel {| function h13 (x: 'a * 'b) (y: 'b * 'a): 'a * 'b |}][@@@gospel {| function h14 (x: 'a): test |}][@@@gospel {| function h15 (x: test): integer |}]--*******************************-****** GOSPEL translation *****-*******************************-(*@ open Gospelstdlib *)--(*@ open Type_decl *)--(*@ function f1 ... *)--(*@ function f2 ... *)--(*@ function f3 ... *)--(*@ function f4 ... *)--(*@ function f5 ... *)--(*@ function f6 ... *)--(*@ function h1 ... *)--(*@ function h2 ... *)--(*@ function h3 ... *)--(*@ function h4 ... *)--(*@ predicate h5 ... *)--(*@ predicate h6 ... *)--(*@ predicate h7 ... *)--(*@ predicate h8 ... *)--(*@ function prefix !! ... *)--(*@ function prefix ?? ... *)--(*@ function prefix !? ... *)--(*@ function h9 ... *)--(*@ function h10 ... *)--(*@ predicate h11 ... *)--(*@ function h12 ... *)--(*@ function h13 ... *)--(*@ function h14 ... *)--(*@ function h15 ... *)--*******************************-********* Typed GOSPEL ********-*******************************-module abstract_functions.mli-- Namespace: abstract_functions.mli- Type symbols-- Logic Symbols- function f1 : integer- function f2 : integer -> integer- function f3 : integer t2 -> integer- function f4 : 'a t2 -> integer- function f5 : 'a t2 -> 'b- function f6 : ('a, 'b) t3 -> ('b, 'a) t3- function h1 (_:integer) : integer- function h10 (_:'a) (_:'b) : 'a * 'b- predicate h11 (_:'a) (_:'b) (_:'c)- function h12 (_:'a) : 'b -> 'c- function h13 (_:'a * 'b) (_:'b * 'a) : 'a * 'b- function h14 (_:'a) : test- function h15 (_:test) : integer- function h2 (_:integer) (_:integer) : integer- function h3 (_:t1) (_:integer t2) : integer- function h4 (_:(integer, 'a) t3) (_:integer t2) : integer- predicate h5 (_:integer)- predicate h6 (_:integer) (_:integer)- predicate h7 (_:t1) (_:integer t2)- predicate h8 (_:(integer, 'a) t3) (_:integer t2)- function h9 (_:'a) : 'a * 'b- function prefix !! (_:integer) : integer- function prefix !? (_:'a) : 'a * 'b- function prefix ?? (_:'a) : 'a-- Field Symbols-- Exception Symbols-- Namespaces-- Type Namespaces-- Signatures- (*@ open Gospelstdlib *)-- (*@ open Type_decl *)-- (*@ function f1 : integer *)-- (*@ function f2 : integer -> integer *)-- (*@ function f3 : integer t2 -> integer *)-- (*@ function f4 : 'a t2 -> integer *)-- (*@ function f5 : 'a t2 -> 'b *)-- (*@ function f6 : ('a, 'b) t3 -> ('b, 'a) t3 *)-- (*@ function h1 (x:integer): integer *)-- (*@ function h2 (x_1:integer) (y:integer): integer *)-- (*@ function h3 (x_2:t1) (y_1:integer t2): integer *)-- (*@ function h4 (x_3:(integer, 'a) t3) (y_2:integer t2): integer *)-- (*@ predicate h5 (x_4:integer) *)-- (*@ predicate h6 (x_5:integer) (y_3:integer) *)-- (*@ predicate h7 (x_6:t1) (y_4:integer t2) *)-- (*@ predicate h8 (x_7:(integer, 'a) t3) (y_5:integer t2) *)-- (*@ function prefix !! (x_8:integer): integer *)-- (*@ function prefix ?? (x_9:'a): 'a *)-- (*@ function prefix !? (x_10:'a): 'a * 'b *)-- (*@ function h9 (x_11:'a): 'a * 'b *)-- (*@ function h10 (x_12:'a) (y_6:'b): 'a * 'b *)-- (*@ predicate h11 (x_13:'a) (y_7:'b) (z:'c) *)-- (*@ function h12 (x_14:'a): 'b -> 'c *)-- (*@ function h13 (x_15:'a * 'b) (y_8:'b * 'a): 'a * 'b *)-- (*@ function h14 (x_16:'a): test *)-- (*@ function h15 (x_17:test): integer *)--OK+File "abstract_functions.mli", line 45, characters 0-53:+Error: syntax error"/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 12026-03-23 13:52.58: Job failed: Failed: Build failed