2025-06-02 12:45.21: New job: test ocaml-gospel/ortac https://github.com/ocaml-gospel/ortac.git#refs/pull/310/head (a12b29d4598d76e4857aee5b50b4b7278a534292) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7 ocamlformat version: version 0.27.0 (from opam) To reproduce locally: git clone --recursive "https://github.com/ocaml-gospel/ortac.git" && cd "ortac" && git fetch origin "refs/pull/310/head" && git reset --hard a12b29d4 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7 USER 1000:1000 RUN cd ~/opam-repository && (git cat-file -e 0eea63ad71af2b1116c556023bedc6bf083e6125 || git fetch origin master) && git reset -q --hard 0eea63ad71af2b1116c556023bedc6bf083e6125 && git log --no-decorate -n1 --oneline && opam update -u RUN opam depext -i dune WORKDIR /src RUN opam depext -i ocamlformat=0.27.0 COPY --chown=1000:1000 . /src/ RUN opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2) END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2025-06-02 12:45.21: Using cache hint "ocaml-gospel/ortac-ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7-debian-12-4.08_opam-2.3-ocamlformat-0eea63ad71af2b1116c556023bedc6bf083e6125" 2025-06-02 12:45.21: Using OBuilder spec: ((from ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7) (user (uid 1000) (gid 1000)) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 0eea63ad71af2b1116c556023bedc6bf083e6125 || git fetch origin master) && git reset -q --hard 0eea63ad71af2b1116c556023bedc6bf083e6125 && git log --no-decorate -n1 --oneline && opam update -u")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i dune")) (workdir /src) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i ocamlformat=0.27.0")) (copy (src .) (dst /src/)) (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)")) ) 2025-06-02 12:45.21: Waiting for resource in pool OCluster 2025-06-02 12:45.21: Waiting for worker… 2025-06-02 15:08.20: Got resource from pool OCluster Building on x86-bm-c4.sw.ocaml.org All commits already cached HEAD is now at a12b29d Update Changelog (from ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7) 2025-06-02 15:08.20 ---> using "d1b97f3f32fc7cff4791d73e3fff398d19cc5b0541c709028ff05a921e22d2c8" from cache /: (user (uid 1000) (gid 1000)) /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 0eea63ad71af2b1116c556023bedc6bf083e6125 || git fetch origin master) && git reset -q --hard 0eea63ad71af2b1116c556023bedc6bf083e6125 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD 0d013e603b..f7c62d8b58 master -> origin/master 0eea63ad71 Merge pull request #27946 from mtelvers/opam-publish-ocaml-version.4.0.1 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] Initialised default (at git+file:///home/opam/opam-repository): [INFO] opam 2.1 and 2.2 include many performance and security improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html) Everything as up-to-date as possible (run with --verbose to show unavailable upgrades). However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages. Nothing to do. # Run eval $(opam env) to update the current shell environment 2025-06-02 15:08.20 ---> using "96cf7cb4f290bdde63e0891300660f309335b98ec063b9c2de517b6b08952aac" from cache /: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i dune")) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages The following actions will be performed: - install dune 3.19.0 <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [dune.3.19.0] found in cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed dune.3.19.0 Done. # Run eval $(opam env) to update the current shell environment 2025-06-02 15:08.20 ---> using "89c0585fea6e0efe18837c1dd4fe4772483d123bc62d2e4be11e9db74e5475f0" from cache /: (workdir /src) /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext -i ocamlformat=0.27.0")) # Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian # No extra OS packages requirements found. # All required OS packages found. # Now letting opam install the packages The following actions will be performed: - install sexplib0 v0.14.0 [required by base] - install cmdliner 1.3.0 [required by ocamlformat] - install menhirLib 20240715 [required by ocamlformat-lib] - install menhirCST 20240715 [required by menhir] - install ocamlbuild 0.16.1 [required by fpath, astring, uuseg] - install menhirSdk 20240715 [required by ocamlformat-lib] - install either 1.0.0 [required by ocamlformat-lib] - install ocaml-version 4.0.1 [required by ocamlformat-lib] - install camlp-streams 5.0.1 [required by ocamlformat-lib] - install csexp 1.5.2 [required by ocamlformat] - install seq base [required by re] - install fix 20250428 [required by ocamlformat-lib] - install ocamlfind 1.9.8 [required by ocp-indent, astring, fpath, uuseg] - install dune-build-info 3.19.0 [required by ocamlformat-lib] - install menhir 20240715 [required by ocamlformat-lib] - install dune-configurator 3.19.0 [required by base] - install re 1.11.0 [required by ocamlformat] - install topkg 1.0.8 [required by fpath, astring, uuseg] - install base-bytes base [required by ocp-indent] - install base v0.14.3 [required by ocamlformat-lib] - install uutf 1.0.4 [required by ocamlformat-lib] - install astring 0.8.5 [required by ocamlformat-lib] - install ocp-indent 1.8.1 [required by ocamlformat-lib] - install stdio v0.14.0 [required by ocamlformat-lib] - install uucp 15.0.0 [required by uuseg] - install fpath 0.7.3 [required by ocamlformat-lib] - install uuseg 15.0.0 [required by ocamlformat-lib] - install ocamlformat-lib 0.27.0 [required by ocamlformat] - install ocamlformat 0.27.0 ===== 29 to install ===== <><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><> [astring.0.8.5] found in cache [base.v0.14.3] found in cache [camlp-streams.5.0.1] found in cache [cmdliner.1.3.0] found in cache [csexp.1.5.2] found in cache [dune-build-info.3.19.0] found in cache [dune-configurator.3.19.0] found in cache [either.1.0.0] found in cache [fix.20250428] found in cache [fpath.0.7.3] found in cache [menhir.20240715] found in cache [menhirCST.20240715] found in cache [menhirLib.20240715] found in cache [menhirSdk.20240715] found in cache [ocaml-version.4.0.1] found in cache [ocamlbuild.0.16.1] found in cache [ocamlfind.1.9.8] found in cache [ocamlformat.0.27.0] found in cache [ocamlformat-lib.0.27.0] found in cache [ocp-indent.1.8.1] found in cache [re.1.11.0] found in cache [sexplib0.v0.14.0] found in cache [stdio.v0.14.0] found in cache [topkg.1.0.8] found in cache [uucp.15.0.0] found in cache [uuseg.15.0.0] found in cache [uutf.1.0.4] found in cache <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> installed seq.base -> installed camlp-streams.5.0.1 -> installed csexp.1.5.2 -> installed either.1.0.0 -> installed fix.20250428 -> installed cmdliner.1.3.0 -> installed menhirCST.20240715 -> installed menhirLib.20240715 -> installed menhirSdk.20240715 -> installed ocaml-version.4.0.1 -> installed re.1.11.0 -> installed sexplib0.v0.14.0 -> installed dune-build-info.3.19.0 -> installed dune-configurator.3.19.0 -> installed ocamlfind.1.9.8 -> installed base-bytes.base -> installed ocp-indent.1.8.1 -> installed ocamlbuild.0.16.1 -> installed base.v0.14.3 -> installed stdio.v0.14.0 -> installed topkg.1.0.8 -> installed uutf.1.0.4 -> installed astring.0.8.5 -> installed fpath.0.7.3 -> installed menhir.20240715 -> installed uucp.15.0.0 -> installed uuseg.15.0.0 -> installed ocamlformat-lib.0.27.0 -> installed ocamlformat.0.27.0 Done. <><> ocp-indent.1.8.1 installed successfully ><><><><><><><><><><><><><><><><><> => This package requires additional configuration for use in editors. Install package 'user-setup', or manually: * for Emacs, add these lines to ~/.emacs: (add-to-list 'load-path "/home/opam/.opam/4.08/share/emacs/site-lisp") (require 'ocp-indent) * for Vim, add this line to ~/.vimrc: set rtp^="/home/opam/.opam/4.08/share/ocp-indent/vim" # Run eval $(opam env) to update the current shell environment 2025-06-02 15:08.58 ---> saved as "3806f45ef51bb70dc27c6783fa556ac6054f53765f6f6e5d7f0761003690b07c" /src: (copy (src .) (dst /src/)) 2025-06-02 15:08.59 ---> saved as "85af8cd819db6e4abea2940ca567bdc4cbde2c795525d6215c03384a18147a35" /src: (run (shell "opam exec -- dune build @fmt --ignore-promoted-rules || (echo \"dune build @fmt failed\"; exit 2)")) File "examples/braun_tree_wrapped.ml", line 1, characters 0-0: diff --git a/_build/default/examples/braun_tree_wrapped.ml b/_build/default/examples/.formatted/braun_tree_wrapped.ml index e0ee46f..ca4f86e 100644 --- a/_build/default/examples/braun_tree_wrapped.ml +++ b/_build/default/examples/.formatted/braun_tree_wrapped.ml @@ -1,5 +1,6 @@ include Braun_tree module Ortac_runtime = Ortac_runtime + let size __arg0 = let __error__001_ = Ortac_runtime.Errors.create @@ -9,28 +10,33 @@ let size __arg0 = pos_fname = "braun_tree.mli"; pos_lnum = 5; pos_bol = 158; - pos_cnum = 158 + pos_cnum = 158; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 5; pos_bol = 158; - pos_cnum = 190 - } - } "size" in + pos_cnum = 190; + }; + } + "size" + in + Ortac_runtime.Errors.report __error__001_; + let result = + try size __arg0 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__001_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__001_; + Ortac_runtime.Errors.report __error__001_; + raise e + in Ortac_runtime.Errors.report __error__001_; - (let result = - try size __arg0 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__001_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__001_); - Ortac_runtime.Errors.report __error__001_; - raise e) in - Ortac_runtime.Errors.report __error__001_; result) + result + let cont __arg0_1 = let __error__002_ = Ortac_runtime.Errors.create @@ -40,28 +46,33 @@ let cont __arg0_1 = pos_fname = "braun_tree.mli"; pos_lnum = 6; pos_bol = 191; - pos_cnum = 191 + pos_cnum = 191; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 6; pos_bol = 191; - pos_cnum = 227 - } - } "cont" in + pos_cnum = 227; + }; + } + "cont" + in + Ortac_runtime.Errors.report __error__002_; + let result_1 = + try cont __arg0_1 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__002_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__002_; + Ortac_runtime.Errors.report __error__002_; + raise e + in Ortac_runtime.Errors.report __error__002_; - (let result_1 = - try cont __arg0_1 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__002_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__002_); - Ortac_runtime.Errors.report __error__002_; - raise e) in - Ortac_runtime.Errors.report __error__002_; result_1) + result_1 + let get t_1 i = let __error__003_ = Ortac_runtime.Errors.create @@ -71,45 +82,48 @@ let get t_1 i = pos_fname = "braun_tree.mli"; pos_lnum = 7; pos_bol = 228; - pos_cnum = 228 + pos_cnum = 228; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 10; pos_bol = 394; - pos_cnum = 430 - } - } "get" in + pos_cnum = 430; + }; + } + "get" + in + Ortac_runtime.Errors.report __error__003_; + let x = + try get t_1 i with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__003_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__003_; + Ortac_runtime.Errors.report __error__003_; + raise e + in + if + not + (try + x + = Ortac_runtime.Gospelstdlib.List.nth (cont t_1) + (Ortac_runtime.Gospelstdlib.integer_of_int i) + with e -> + Ortac_runtime.Specification_failure + { term = "x = List.nth t.cont i"; term_kind = Post; exn = e } + |> Ortac_runtime.Errors.register __error__003_; + true) + then + Ortac_runtime.Violated_condition + { term = "x = List.nth t.cont i"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__003_; Ortac_runtime.Errors.report __error__003_; - (let x = - try get t_1 i - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__003_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__003_); - Ortac_runtime.Errors.report __error__003_; - raise e) in - if - not - (try - x = - (Ortac_runtime.Gospelstdlib.List.nth (cont t_1) - (Ortac_runtime.Gospelstdlib.integer_of_int i)) - with - | e -> - ((Ortac_runtime.Specification_failure - { term = "x = List.nth t.cont i"; term_kind = Post; exn = e }) - |> (Ortac_runtime.Errors.register __error__003_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "x = List.nth t.cont i"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__003_); - Ortac_runtime.Errors.report __error__003_; - x) + x + let head t_2 = let __error__004_ = Ortac_runtime.Errors.create @@ -119,42 +133,45 @@ let head t_2 = pos_fname = "braun_tree.mli"; pos_lnum = 12; pos_bol = 432; - pos_cnum = 432 + pos_cnum = 432; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 15; pos_bol = 589; - pos_cnum = 622 - } - } "head" in + pos_cnum = 622; + }; + } + "head" + in Ortac_runtime.Errors.report __error__004_; - (let x_1 = - try head t_2 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__004_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__004_); - Ortac_runtime.Errors.report __error__004_; - raise e) in - if - not - (try x_1 = (Ortac_runtime.Gospelstdlib.List.hd (cont t_2)) - with - | e -> - ((Ortac_runtime.Specification_failure - { term = "x = List.hd t.cont"; term_kind = Post; exn = e }) - |> (Ortac_runtime.Errors.register __error__004_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "x = List.hd t.cont"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__004_); - Ortac_runtime.Errors.report __error__004_; - x_1) + let x_1 = + try head t_2 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__004_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__004_; + Ortac_runtime.Errors.report __error__004_; + raise e + in + if + not + (try x_1 = Ortac_runtime.Gospelstdlib.List.hd (cont t_2) + with e -> + Ortac_runtime.Specification_failure + { term = "x = List.hd t.cont"; term_kind = Post; exn = e } + |> Ortac_runtime.Errors.register __error__004_; + true) + then + Ortac_runtime.Violated_condition + { term = "x = List.hd t.cont"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__004_; + Ortac_runtime.Errors.report __error__004_; + x_1 + let left_t t_3 = let __error__005_ = Ortac_runtime.Errors.create @@ -164,28 +181,33 @@ let left_t t_3 = pos_fname = "braun_tree.mli"; pos_lnum = 17; pos_bol = 624; - pos_cnum = 624 + pos_cnum = 624; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 21; pos_bol = 766; - pos_cnum = 768 - } - } "left_t" in + pos_cnum = 768; + }; + } + "left_t" + in + Ortac_runtime.Errors.report __error__005_; + let t' = + try left_t t_3 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__005_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__005_; + Ortac_runtime.Errors.report __error__005_; + raise e + in Ortac_runtime.Errors.report __error__005_; - (let t' = - try left_t t_3 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__005_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__005_); - Ortac_runtime.Errors.report __error__005_; - raise e) in - Ortac_runtime.Errors.report __error__005_; t') + t' + let right_t t_4 = let __error__006_ = Ortac_runtime.Errors.create @@ -195,28 +217,33 @@ let right_t t_4 = pos_fname = "braun_tree.mli"; pos_lnum = 23; pos_bol = 770; - pos_cnum = 770 + pos_cnum = 770; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 27; pos_bol = 914; - pos_cnum = 916 - } - } "right_t" in + pos_cnum = 916; + }; + } + "right_t" + in + Ortac_runtime.Errors.report __error__006_; + let t'_1 = + try right_t t_4 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__006_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__006_; + Ortac_runtime.Errors.report __error__006_; + raise e + in Ortac_runtime.Errors.report __error__006_; - (let t'_1 = - try right_t t_4 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__006_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__006_); - Ortac_runtime.Errors.report __error__006_; - raise e) in - Ortac_runtime.Errors.report __error__006_; t'_1) + t'_1 + let empty () = let __error__007_ = Ortac_runtime.Errors.create @@ -226,57 +253,57 @@ let empty () = pos_fname = "braun_tree.mli"; pos_lnum = 29; pos_bol = 918; - pos_cnum = 918 + pos_cnum = 918; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 33; pos_bol = 1189; - pos_cnum = 1215 - } - } "empty" in + pos_cnum = 1215; + }; + } + "empty" + in Ortac_runtime.Errors.report __error__007_; - (let t_5 = - try empty () - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__007_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__007_); - Ortac_runtime.Errors.report __error__007_; - raise e) in - if - not - (try (cont t_5) = [] - with - | e -> - ((Ortac_runtime.Specification_failure - { term = "t.cont = []"; term_kind = Post; exn = e }) - |> (Ortac_runtime.Errors.register __error__007_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "t.cont = []"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__007_); - if - not - (try - (Ortac_runtime.Gospelstdlib.integer_of_int (size t_5)) = - (Ortac_runtime.Gospelstdlib.integer_of_int 0) - with - | e -> - ((Ortac_runtime.Specification_failure - { term = "t.size = 0"; term_kind = Post; exn = e }) - |> (Ortac_runtime.Errors.register __error__007_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "t.size = 0"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__007_); - Ortac_runtime.Errors.report __error__007_; - t_5) + let t_5 = + try empty () with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__007_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__007_; + Ortac_runtime.Errors.report __error__007_; + raise e + in + if + not + (try cont t_5 = [] + with e -> + Ortac_runtime.Specification_failure + { term = "t.cont = []"; term_kind = Post; exn = e } + |> Ortac_runtime.Errors.register __error__007_; + true) + then + Ortac_runtime.Violated_condition { term = "t.cont = []"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__007_; + if + not + (try + Ortac_runtime.Gospelstdlib.integer_of_int (size t_5) + = Ortac_runtime.Gospelstdlib.integer_of_int 0 + with e -> + Ortac_runtime.Specification_failure + { term = "t.size = 0"; term_kind = Post; exn = e } + |> Ortac_runtime.Errors.register __error__007_; + true) + then + Ortac_runtime.Violated_condition { term = "t.size = 0"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__007_; + Ortac_runtime.Errors.report __error__007_; + t_5 + let cons x_2 t_6 = let __error__008_ = Ortac_runtime.Errors.create @@ -286,72 +313,73 @@ let cons x_2 t_6 = pos_fname = "braun_tree.mli"; pos_lnum = 35; pos_bol = 1217; - pos_cnum = 1217 + pos_cnum = 1217; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 40; pos_bol = 1582; - pos_cnum = 1618 - } - } "cons" in + pos_cnum = 1618; + }; + } + "cons" + in Ortac_runtime.Errors.report __error__008_; - (let t'_2 = - try cons x_2 t_6 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__008_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__008_); - Ortac_runtime.Errors.report __error__008_; - raise e) in - if - not - (try (cont t'_2) = (x_2 :: (cont t_6)) - with - | e -> - ((Ortac_runtime.Specification_failure - { term = "t'.cont = x :: t.cont"; term_kind = Post; exn = e }) - |> (Ortac_runtime.Errors.register __error__008_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "t'.cont = x :: t.cont"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__008_); - if - not - (try (Ortac_runtime.Gospelstdlib.List.hd (cont t'_2)) = x_2 - with - | e -> - ((Ortac_runtime.Specification_failure - { term = "List.hd t'.cont = x"; term_kind = Post; exn = e }) - |> (Ortac_runtime.Errors.register __error__008_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "List.hd t'.cont = x"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__008_); - if - not - (try - (Ortac_runtime.Gospelstdlib.integer_of_int (size t'_2)) = - (Ortac_runtime.Gospelstdlib.(+) - (Ortac_runtime.Gospelstdlib.integer_of_int (size t_6)) - (Ortac_runtime.Gospelstdlib.integer_of_int 1)) - with - | e -> - ((Ortac_runtime.Specification_failure - { term = "t'.size = t.size + 1"; term_kind = Post; exn = e }) - |> (Ortac_runtime.Errors.register __error__008_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "t'.size = t.size + 1"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__008_); - Ortac_runtime.Errors.report __error__008_; - t'_2) + let t'_2 = + try cons x_2 t_6 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__008_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__008_; + Ortac_runtime.Errors.report __error__008_; + raise e + in + if + not + (try cont t'_2 = x_2 :: cont t_6 + with e -> + Ortac_runtime.Specification_failure + { term = "t'.cont = x :: t.cont"; term_kind = Post; exn = e } + |> Ortac_runtime.Errors.register __error__008_; + true) + then + Ortac_runtime.Violated_condition + { term = "t'.cont = x :: t.cont"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__008_; + if + not + (try Ortac_runtime.Gospelstdlib.List.hd (cont t'_2) = x_2 + with e -> + Ortac_runtime.Specification_failure + { term = "List.hd t'.cont = x"; term_kind = Post; exn = e } + |> Ortac_runtime.Errors.register __error__008_; + true) + then + Ortac_runtime.Violated_condition + { term = "List.hd t'.cont = x"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__008_; + if + not + (try + Ortac_runtime.Gospelstdlib.integer_of_int (size t'_2) + = Ortac_runtime.Gospelstdlib.( + ) + (Ortac_runtime.Gospelstdlib.integer_of_int (size t_6)) + (Ortac_runtime.Gospelstdlib.integer_of_int 1) + with e -> + Ortac_runtime.Specification_failure + { term = "t'.size = t.size + 1"; term_kind = Post; exn = e } + |> Ortac_runtime.Errors.register __error__008_; + true) + then + Ortac_runtime.Violated_condition + { term = "t'.size = t.size + 1"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__008_; + Ortac_runtime.Errors.report __error__008_; + t'_2 + let tail t_7 = let __error__009_ = Ortac_runtime.Errors.create @@ -361,46 +389,49 @@ let tail t_7 = pos_fname = "braun_tree.mli"; pos_lnum = 42; pos_bol = 1620; - pos_cnum = 1620 + pos_cnum = 1620; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 47; pos_bol = 1982; - pos_cnum = 2017 - } - } "tail" in + pos_cnum = 2017; + }; + } + "tail" + in Ortac_runtime.Errors.report __error__009_; - (let t'_3 = - try tail t_7 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__009_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__009_); - Ortac_runtime.Errors.report __error__009_; - raise e) in - if - not - (try - (Ortac_runtime.Gospelstdlib.integer_of_int (size t_7)) = - (Ortac_runtime.Gospelstdlib.(+) - (Ortac_runtime.Gospelstdlib.integer_of_int (size t'_3)) - (Ortac_runtime.Gospelstdlib.integer_of_int 1)) - with - | e -> - ((Ortac_runtime.Specification_failure - { term = "t.size = t'.size + 1"; term_kind = Post; exn = e }) - |> (Ortac_runtime.Errors.register __error__009_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "t.size = t'.size + 1"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__009_); - Ortac_runtime.Errors.report __error__009_; - t'_3) + let t'_3 = + try tail t_7 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__009_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__009_; + Ortac_runtime.Errors.report __error__009_; + raise e + in + if + not + (try + Ortac_runtime.Gospelstdlib.integer_of_int (size t_7) + = Ortac_runtime.Gospelstdlib.( + ) + (Ortac_runtime.Gospelstdlib.integer_of_int (size t'_3)) + (Ortac_runtime.Gospelstdlib.integer_of_int 1) + with e -> + Ortac_runtime.Specification_failure + { term = "t.size = t'.size + 1"; term_kind = Post; exn = e } + |> Ortac_runtime.Errors.register __error__009_; + true) + then + Ortac_runtime.Violated_condition + { term = "t.size = t'.size + 1"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__009_; + Ortac_runtime.Errors.report __error__009_; + t'_3 + let snoc x_3 t_8 = let __error__010_ = Ortac_runtime.Errors.create @@ -410,85 +441,85 @@ let snoc x_3 t_8 = pos_fname = "braun_tree.mli"; pos_lnum = 49; pos_bol = 2019; - pos_cnum = 2019 + pos_cnum = 2019; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 54; pos_bol = 2431; - pos_cnum = 2485 - } - } "snoc" in + pos_cnum = 2485; + }; + } + "snoc" + in + Ortac_runtime.Errors.report __error__010_; + let t'_4 = + try snoc x_3 t_8 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__010_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__010_; + Ortac_runtime.Errors.report __error__010_; + raise e + in + if + not + (try + Ortac_runtime.Gospelstdlib.List.rev (cont t'_4) + = x_3 :: Ortac_runtime.Gospelstdlib.List.rev (cont t_8) + with e -> + Ortac_runtime.Specification_failure + { + term = "List.rev t'.cont = x :: List.rev t.cont"; + term_kind = Post; + exn = e; + } + |> Ortac_runtime.Errors.register __error__010_; + true) + then + Ortac_runtime.Violated_condition + { term = "List.rev t'.cont = x :: List.rev t.cont"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__010_; + if + not + (try + Ortac_runtime.Gospelstdlib.List.hd (cont t'_4) + = Ortac_runtime.Gospelstdlib.List.hd (cont t_8) + with e -> + Ortac_runtime.Specification_failure + { + term = "List.hd t'.cont = List.hd t.cont"; + term_kind = Post; + exn = e; + } + |> Ortac_runtime.Errors.register __error__010_; + true) + then + Ortac_runtime.Violated_condition + { term = "List.hd t'.cont = List.hd t.cont"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__010_; + if + not + (try + Ortac_runtime.Gospelstdlib.integer_of_int (size t'_4) + = Ortac_runtime.Gospelstdlib.( + ) + (Ortac_runtime.Gospelstdlib.integer_of_int (size t_8)) + (Ortac_runtime.Gospelstdlib.integer_of_int 1) + with e -> + Ortac_runtime.Specification_failure + { term = "t'.size = t.size + 1"; term_kind = Post; exn = e } + |> Ortac_runtime.Errors.register __error__010_; + true) + then + Ortac_runtime.Violated_condition + { term = "t'.size = t.size + 1"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__010_; Ortac_runtime.Errors.report __error__010_; - (let t'_4 = - try snoc x_3 t_8 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__010_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__010_); - Ortac_runtime.Errors.report __error__010_; - raise e) in - if - not - (try - (Ortac_runtime.Gospelstdlib.List.rev (cont t'_4)) = - (x_3 :: (Ortac_runtime.Gospelstdlib.List.rev (cont t_8))) - with - | e -> - ((Ortac_runtime.Specification_failure - { - term = "List.rev t'.cont = x :: List.rev t.cont"; - term_kind = Post; - exn = e - }) - |> (Ortac_runtime.Errors.register __error__010_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "List.rev t'.cont = x :: List.rev t.cont"; term_kind = Post - }) - |> (Ortac_runtime.Errors.register __error__010_); - if - not - (try - (Ortac_runtime.Gospelstdlib.List.hd (cont t'_4)) = - (Ortac_runtime.Gospelstdlib.List.hd (cont t_8)) - with - | e -> - ((Ortac_runtime.Specification_failure - { - term = "List.hd t'.cont = List.hd t.cont"; - term_kind = Post; - exn = e - }) - |> (Ortac_runtime.Errors.register __error__010_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "List.hd t'.cont = List.hd t.cont"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__010_); - if - not - (try - (Ortac_runtime.Gospelstdlib.integer_of_int (size t'_4)) = - (Ortac_runtime.Gospelstdlib.(+) - (Ortac_runtime.Gospelstdlib.integer_of_int (size t_8)) - (Ortac_runtime.Gospelstdlib.integer_of_int 1)) - with - | e -> - ((Ortac_runtime.Specification_failure - { term = "t'.size = t.size + 1"; term_kind = Post; exn = e }) - |> (Ortac_runtime.Errors.register __error__010_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "t'.size = t.size + 1"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__010_); - Ortac_runtime.Errors.report __error__010_; - t'_4) + t'_4 + let liat t_9 = let __error__011_ = Ortac_runtime.Errors.create @@ -498,46 +529,49 @@ let liat t_9 = pos_fname = "braun_tree.mli"; pos_lnum = 56; pos_bol = 2487; - pos_cnum = 2487 + pos_cnum = 2487; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 62; pos_bol = 2852; - pos_cnum = 2858 - } - } "liat" in + pos_cnum = 2858; + }; + } + "liat" + in + Ortac_runtime.Errors.report __error__011_; + let t'_5 = + try liat t_9 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__011_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__011_; + Ortac_runtime.Errors.report __error__011_; + raise e + in + if + not + (try + Ortac_runtime.Gospelstdlib.integer_of_int (size t_9) + = Ortac_runtime.Gospelstdlib.( + ) + (Ortac_runtime.Gospelstdlib.integer_of_int (size t'_5)) + (Ortac_runtime.Gospelstdlib.integer_of_int 1) + with e -> + Ortac_runtime.Specification_failure + { term = "t.size = t'.size + 1"; term_kind = Post; exn = e } + |> Ortac_runtime.Errors.register __error__011_; + true) + then + Ortac_runtime.Violated_condition + { term = "t.size = t'.size + 1"; term_kind = Post } + |> Ortac_runtime.Errors.register __error__011_; Ortac_runtime.Errors.report __error__011_; - (let t'_5 = - try liat t_9 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__011_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__011_); - Ortac_runtime.Errors.report __error__011_; - raise e) in - if - not - (try - (Ortac_runtime.Gospelstdlib.integer_of_int (size t_9)) = - (Ortac_runtime.Gospelstdlib.(+) - (Ortac_runtime.Gospelstdlib.integer_of_int (size t'_5)) - (Ortac_runtime.Gospelstdlib.integer_of_int 1)) - with - | e -> - ((Ortac_runtime.Specification_failure - { term = "t.size = t'.size + 1"; term_kind = Post; exn = e }) - |> (Ortac_runtime.Errors.register __error__011_); - true)) - then - (Ortac_runtime.Violated_condition - { term = "t.size = t'.size + 1"; term_kind = Post }) - |> (Ortac_runtime.Errors.register __error__011_); - Ortac_runtime.Errors.report __error__011_; - t'_5) + t'_5 + let to_list __arg0_2 = let __error__012_ = Ortac_runtime.Errors.create @@ -547,28 +581,33 @@ let to_list __arg0_2 = pos_fname = "braun_tree.mli"; pos_lnum = 64; pos_bol = 2860; - pos_cnum = 2860 + pos_cnum = 2860; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 64; pos_bol = 2860; - pos_cnum = 2889 - } - } "to_list" in + pos_cnum = 2889; + }; + } + "to_list" + in Ortac_runtime.Errors.report __error__012_; - (let result_2 = - try to_list __arg0_2 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__012_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__012_); - Ortac_runtime.Errors.report __error__012_; - raise e) in - Ortac_runtime.Errors.report __error__012_; result_2) + let result_2 = + try to_list __arg0_2 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__012_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__012_; + Ortac_runtime.Errors.report __error__012_; + raise e + in + Ortac_runtime.Errors.report __error__012_; + result_2 + let of_list __arg0_3 = let __error__013_ = Ortac_runtime.Errors.create @@ -578,25 +617,29 @@ let of_list __arg0_3 = pos_fname = "braun_tree.mli"; pos_lnum = 65; pos_bol = 2890; - pos_cnum = 2890 + pos_cnum = 2890; }; Ortac_runtime.stop = { pos_fname = "braun_tree.mli"; pos_lnum = 65; pos_bol = 2890; - pos_cnum = 2919 - } - } "of_list" in + pos_cnum = 2919; + }; + } + "of_list" + in + Ortac_runtime.Errors.report __error__013_; + let result_3 = + try of_list __arg0_3 with + | (Stack_overflow | Out_of_memory) as e -> + Ortac_runtime.Errors.report __error__013_; + raise e + | e -> + Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e } + |> Ortac_runtime.Errors.register __error__013_; + Ortac_runtime.Errors.report __error__013_; + raise e + in Ortac_runtime.Errors.report __error__013_; - (let result_3 = - try of_list __arg0_3 - with - | Stack_overflow | Out_of_memory as e -> - (Ortac_runtime.Errors.report __error__013_; raise e) - | e -> - ((Ortac_runtime.Unexpected_exception { allowed_exn = []; exn = e }) - |> (Ortac_runtime.Errors.register __error__013_); - Ortac_runtime.Errors.report __error__013_; - raise e) in - Ortac_runtime.Errors.report __error__013_; result_3) + result_3 dune build @fmt failed "/usr/bin/env" "bash" "-c" "opam exec -- dune build @fmt --ignore-promoted-rules || (echo "dune build @fmt failed"; exit 2)" failed with exit status 2 2025-06-02 15:09.02: Job failed: Failed: Build failed