2024-09-09 09:13.53: New job: test ocaml-ppx/ppxlib https://github.com/ocaml-ppx/ppxlib.git#refs/pull/514/head (d22f931ee2a1e63f53b8191af493e4e7ff63c1c5) (linux-x86_64:alpine-3.20-4.14_opam-2.2) Base: ocaml/opam:alpine-3.20-ocaml-4.14@sha256:ac900c97807cd1ba5e88edabdd59d4977afb30b3a516804e6e7d7979951bfd37 Opam project build To reproduce locally: git clone --recursive "https://github.com/ocaml-ppx/ppxlib.git" && cd "ppxlib" && git fetch origin "refs/pull/514/head" && git reset --hard d22f931e cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:alpine-3.20-ocaml-4.14@sha256:ac900c97807cd1ba5e88edabdd59d4977afb30b3a516804e6e7d7979951bfd37 # alpine-3.20-4.14_opam-2.2 USER 1000:1000 ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" WORKDIR /src RUN sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam RUN opam init --reinit -ni RUN uname -rs && opam exec -- ocaml -version && opam --version WORKDIR /src RUN sudo chown opam /src RUN cd ~/opam-repository && (git cat-file -e b92ae980c0437e8cdeac9f8f2c24a7800f1ed171 || git fetch origin master) && git reset -q --hard b92ae980c0437e8cdeac9f8f2c24a7800f1ed171 && git log --no-decorate -n1 --oneline && opam update -u RUN mkdir -p 'bench/vendored/ppx_sexp_conv.v0.15.1/' COPY --chown=1000:1000 ppxlib.opam ppxlib-bench.opam ./ COPY --chown=1000:1000 bench/vendored/ppx_sexp_conv.v0.15.1/ppx_sexp_conv.opam bench/vendored/ppx_sexp_conv.v0.15.1/ RUN opam pin add -yn ppxlib.dev './' && \ opam pin add -yn ppxlib-bench.dev './' && \ opam pin add -yn ppx_sexp_conv 'bench/vendored/ppx_sexp_conv.v0.15.1/' ENV DEPS="base.v0.16.3 base-bigarray.base base-threads.base base-unix.base cinaps.v0.15.1 conf-bash.1 csexp.1.5.2 dune.3.16.0 dune-configurator.3.16.0 host-arch-x86_64.1 host-system-other.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlfind.1.9.6 ppx_derivers.1.2.1 re.1.12.0 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 yojson.2.2.2" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.2 --depext-only -y ppxlib.dev ppxlib-bench.dev $DEPS RUN opam install $DEPS COPY --chown=1000:1000 . /src RUN opam exec -- dune build @install @check @runtest && rm -rf _build END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2024-09-09 09:13.53: Using cache hint "ocaml-ppx/ppxlib-ocaml/opam:alpine-3.20-ocaml-4.14@sha256:ac900c97807cd1ba5e88edabdd59d4977afb30b3a516804e6e7d7979951bfd37-alpine-3.20-4.14_opam-2.2-4f1820867029e02e156b9f528a626911" 2024-09-09 09:13.53: Using OBuilder spec: ((from ocaml/opam:alpine-3.20-ocaml-4.14@sha256:ac900c97807cd1ba5e88edabdd59d4977afb30b3a516804e6e7d7979951bfd37) (comment alpine-3.20-4.14_opam-2.2) (user (uid 1000) (gid 1000)) (env CLICOLOR_FORCE 1) (env OPAMCOLOR always) (workdir /src) (run (shell "sudo ln -f /usr/bin/opam-2.2 /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 b92ae980c0437e8cdeac9f8f2c24a7800f1ed171 || git fetch origin master) && git reset -q --hard b92ae980c0437e8cdeac9f8f2c24a7800f1ed171 && git log --no-decorate -n1 --oneline && opam update -u")) (run (shell "mkdir -p 'bench/vendored/ppx_sexp_conv.v0.15.1/'")) (copy (src ppxlib.opam ppxlib-bench.opam) (dst ./)) (copy (src bench/vendored/ppx_sexp_conv.v0.15.1/ppx_sexp_conv.opam) (dst bench/vendored/ppx_sexp_conv.v0.15.1/)) (run (network host) (shell "opam pin add -yn ppxlib.dev './' && \ \nopam pin add -yn ppxlib-bench.dev './' && \ \nopam pin add -yn ppx_sexp_conv 'bench/vendored/ppx_sexp_conv.v0.15.1/'")) (env DEPS "base.v0.16.3 base-bigarray.base base-threads.base base-unix.base cinaps.v0.15.1 conf-bash.1 csexp.1.5.2 dune.3.16.0 dune-configurator.3.16.0 host-arch-x86_64.1 host-system-other.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlfind.1.9.6 ppx_derivers.1.2.1 re.1.12.0 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 yojson.2.2.2") (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.2 --depext-only -y ppxlib.dev ppxlib-bench.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")) ) 2024-09-09 09:13.53: Waiting for resource in pool OCluster 2024-09-09 09:13.53: Waiting for worker… 2024-09-09 09:13.54: Got resource from pool OCluster Building on doris.caelum.ci.dev All commits already cached HEAD is now at d22f931e Add coalesce_arity to Ast_builder and use it in metaquot (from ocaml/opam:alpine-3.20-ocaml-4.14@sha256:ac900c97807cd1ba5e88edabdd59d4977afb30b3a516804e6e7d7979951bfd37) 2024-09-09 09:13.57 ---> using "360f26edbd0764b52725b6294936e7148bc39f2a4ff846a4d8ad86f052b4c874" from cache /: (comment alpine-3.20-4.14_opam-2.2) /: (user (uid 1000) (gid 1000)) /: (env CLICOLOR_FORCE 1) /: (env OPAMCOLOR always) /: (workdir /src) /src: (run (shell "sudo ln -f /usr/bin/opam-2.2 /usr/bin/opam")) 2024-09-09 09:13.57 ---> using "200c86535b79daa0ed9fd4ec7265f39fc5aade141e9f2cbabb8143f6040bf1c9" from cache /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 development 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] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 2024-09-09 09:13.57 ---> using "73d522c0d095471d6dfb7023b8f19cc58a229e565a5e67fc05f4c0f5fc25ef6a" from cache /src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Linux 5.15.0-119-generic The OCaml toplevel, version 4.14.2 2.2.1 2024-09-09 09:13.57 ---> using "12d274586c7c3985bb430ba0ab811fc24f4571ff854916652190cee37a5be771" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2024-09-09 09:13.57 ---> using "1be42e60ed85d47ecf19634ade86e7dfb3d5eb822ffa9f2d57b29239420a3bdb" from cache /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e b92ae980c0437e8cdeac9f8f2c24a7800f1ed171 || git fetch origin master) && git reset -q --hard b92ae980c0437e8cdeac9f8f2c24a7800f1ed171 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD e89899ac28..16e8d80cc5 master -> origin/master b92ae980c0 Merge pull request #26439 from rgrinberg/release-re-1.12.0 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from file:///home/opam/opam-repository 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 2024-09-09 09:15.01 ---> saved as "188661247b68a95e6949feecb9e9e833b04f02924ed42f23b76100c5c3edc094" /src: (run (shell "mkdir -p 'bench/vendored/ppx_sexp_conv.v0.15.1/'")) 2024-09-09 09:15.01 ---> saved as "ebcbaf44eff4ef5218c462c4032183233be023c938ef6a7273bea3742ffaba76" /src: (copy (src ppxlib.opam ppxlib-bench.opam) (dst ./)) 2024-09-09 09:15.02 ---> saved as "d42a575e6cacb33aa25f80672fdc0a9b058503a610c09038643d44b9fe7c0405" /src: (copy (src bench/vendored/ppx_sexp_conv.v0.15.1/ppx_sexp_conv.opam) (dst bench/vendored/ppx_sexp_conv.v0.15.1/)) 2024-09-09 09:15.02 ---> saved as "d2fae0844cdc8963a02af70ae8d688c0f913745bb2497295d82cff70084d41c7" /src: (run (network host) (shell "opam pin add -yn ppxlib.dev './' && \ \nopam pin add -yn ppxlib-bench.dev './' && \ \nopam pin add -yn ppx_sexp_conv 'bench/vendored/ppx_sexp_conv.v0.15.1/'")) [ppxlib.dev] synchronised (file:///src) ppxlib is now pinned to file:///src (version dev) Package ppxlib-bench does not exist, create as a NEW package? [y/n] y [ppxlib-bench.dev] synchronised (file:///src) ppxlib-bench is now pinned to file:///src (version dev) [ppx_sexp_conv.v0.17.0] synchronised (file:///src/bench/vendored/ppx_sexp_conv.v0.15.1) ppx_sexp_conv is now pinned to file:///src/bench/vendored/ppx_sexp_conv.v0.15.1 (version v0.15.0) 2024-09-09 09:15.09 ---> saved as "674cd08e59301c4818d41e811293548d6fc2309f60a955bfa50d13adf941e2d2" /src: (env DEPS "base.v0.16.3 base-bigarray.base base-threads.base base-unix.base cinaps.v0.15.1 conf-bash.1 csexp.1.5.2 dune.3.16.0 dune-configurator.3.16.0 host-arch-x86_64.1 host-system-other.1 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-compiler-libs.v0.12.4 ocaml-config.2 ocaml-options-vanilla.1 ocamlfind.1.9.6 ppx_derivers.1.2.1 re.1.12.0 seq.base sexplib0.v0.16.0 stdlib-shims.0.3.0 yojson.2.2.2") /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.2 --depext-only -y ppxlib.dev ppxlib-bench.dev $DEPS")) + /usr/bin/sudo "apk" "update" - fetch https://dl-cdn.alpinelinux.org/alpine/v3.20/main/x86_64/APKINDEX.tar.gz - fetch https://dl-cdn.alpinelinux.org/alpine/v3.20/community/x86_64/APKINDEX.tar.gz - fetch https://dl-cdn.alpinelinux.org/alpine/edge/main/x86_64/APKINDEX.tar.gz - fetch https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz - fetch https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz - v3.20.3-14-g0077785a75b [https://dl-cdn.alpinelinux.org/alpine/v3.20/main] - v3.20.3-14-g0077785a75b [https://dl-cdn.alpinelinux.org/alpine/v3.20/community] - v20240807-1941-gb598c9d473f [https://dl-cdn.alpinelinux.org/alpine/edge/main] - v20240807-1942-g54a8e0fa14a [https://dl-cdn.alpinelinux.org/alpine/edge/community] - v20240807-1923-geaffc23cee6 [https://dl-cdn.alpinelinux.org/alpine/edge/testing] - OK: 55047 distinct packages available <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [ppxlib.dev] synchronised (no changes) [ppxlib-bench.dev] synchronised (no changes) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 2). [NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2). [NOTE] Package ocaml is already installed (current version is 4.14.2). [NOTE] Package host-system-other is already installed (current version is 1). [NOTE] Package host-arch-x86_64 is already installed (current version is 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). 2024-09-09 09:15.22 ---> saved as "a99eee8fc6f99368dd6d373f03a253b3718629a2954eeb667af7bef2387d30f8" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install $DEPS")) [NOTE] Package ocaml-options-vanilla is already installed (current version is 1). [NOTE] Package ocaml-config is already installed (current version is 2). [NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2). [NOTE] Package ocaml is already installed (current version is 4.14.2). [NOTE] Package host-system-other is already installed (current version is 1). [NOTE] Package host-arch-x86_64 is already installed (current version is 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 14 packages - install base v0.16.3 - install cinaps v0.15.1 - install conf-bash 1 - install csexp 1.5.2 - install dune 3.16.0 - install dune-configurator 3.16.0 - install ocaml-compiler-libs v0.12.4 - install ocamlfind 1.9.6 - install ppx_derivers 1.2.1 - install re 1.12.0 - install seq base - install sexplib0 v0.16.0 - install stdlib-shims 0.3.0 - install yojson 2.2.2 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved cinaps.v0.15.1 (cached) -> retrieved csexp.1.5.2 (cached) -> retrieved base.v0.16.3 (cached) -> installed conf-bash.1 -> retrieved ocaml-compiler-libs.v0.12.4 (cached) -> retrieved ppx_derivers.1.2.1 (cached) -> retrieved ocamlfind.1.9.6 (cached) -> retrieved seq.base (cached) -> installed seq.base -> retrieved re.1.12.0 (cached) -> retrieved sexplib0.v0.16.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved yojson.2.2.2 (cached) -> retrieved dune.3.16.0, dune-configurator.3.16.0 (cached) -> installed ocamlfind.1.9.6 -> installed dune.3.16.0 -> installed ppx_derivers.1.2.1 -> installed stdlib-shims.0.3.0 -> installed csexp.1.5.2 -> installed ocaml-compiler-libs.v0.12.4 -> installed re.1.12.0 -> installed sexplib0.v0.16.0 -> installed yojson.2.2.2 -> installed cinaps.v0.15.1 -> installed dune-configurator.3.16.0 -> installed base.v0.16.3 Done. # Run eval $(opam env) to update the current shell environment 2024-09-09 09:16.05 ---> saved as "ee09d9b4104683efbeff927b7c97a5d383d25eecac126c60b207f079edc94c6f" /src: (copy (src .) (dst /src)) 2024-09-09 09:16.06 ---> saved as "4ef2ff4e81d811bcca7c5f20f6de2db32bb3bc7762424ce2e09634f93beead30" /src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")) (cd _build/default && .ppx/3134a5298fb2c80808cc94dd434856cb/ppx.exe -deriving-keep-w32=impl --cookie 'library-name="ppxlib_ast"' --impl ast/ast.ml -corrected-suffix .lint-corrected -diff-cmd - -null) File "ast/ast.ml", lines 1086-2416, characters 0-5: 1086 | class virtual map = 1087 | object (self) 1088 | method virtual bool : bool -> bool 1089 | method virtual char : char -> char 1090 | method virtual int : int -> int ... 2413 | Pdir_bool a 2414 | 2415 | method cases : cases -> cases = self#list self#case 2416 | end Error: ppxlib: the corrected code doesn't round-trip. This is probably a bug in the OCaml printer: --- generated +++ generated->printed->parsed @@ -644,34 +644,178 @@ ((pexp_desc (Pexp_poly ((pexp_desc - (Pexp_function () () + (Pexp_function + (((pparam_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true))) + (pparam_desc + (Pparam_val Nolabel () + ((ppat_desc + (Ppat_record + ((((txt (Lident pos_fname)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))) + ((ppat_desc + (Ppat_var + ((txt pos_fname) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ()))) + (((txt (Lident pos_lnum)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))) + ((ppat_desc + (Ppat_var + ((txt pos_lnum) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ()))) + (((txt (Lident pos_bol)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))) + ((ppat_desc + (Ppat_var + ((txt pos_bol) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ()))) + (((txt (Lident pos_cnum)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))) + ((ppat_desc + (Ppat_var + ((txt pos_cnum) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ())))) + Closed)) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ())))))) + () (Pfunction_body ((pexp_desc - (Pexp_function - (((pparam_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true))) - (pparam_desc - (Pparam_val Nolabel () - ((ppat_desc - (Ppat_record - ((((txt (Lident pos_fname)) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))) - ((ppat_desc - (Ppat_var - ((txt pos_fname) + (Pexp_let Nonrecursive + (((pvb_pat + ((ppat_desc + (Ppat_var + ((txt pos_fname) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ()))) + (pvb_expr + ((pexp_desc + (Pexp_apply + ((pexp_desc + (Pexp_send + ((pexp_desc + (Pexp_ident + ((txt (Lident self)) (loc ((loc_start ((pos_fname _none_) (pos_lnum 1) @@ -680,7 +824,7 @@ ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) (loc_ghost true)))))) - (ppat_loc + (pexp_loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) @@ -688,9 +832,9 @@ ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) (loc_ghost true))) - (ppat_loc_stack ()) - (ppat_attributes ()))) - (((txt (Lident pos_lnum)) + (pexp_loc_stack ()) + (pexp_attributes ())) + ((txt string) (loc ((loc_start ((pos_fname _none_) (pos_lnum 1) @@ -698,29 +842,61 @@ (loc_end ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))) - ((ppat_desc - (Ppat_var - ((txt pos_lnum) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))))) - (ppat_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (ppat_loc_stack ()) - (ppat_attributes ()))) - (((txt (Lident pos_bol)) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())) + ((Nolabel + ((pexp_desc + (Pexp_ident + ((txt (Lident pos_fname)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ()))) + (pvb_constraint ()) (pvb_attributes ()) + (pvb_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true))))) + ((pexp_desc + (Pexp_let Nonrecursive + (((pvb_pat + ((ppat_desc + (Ppat_var + ((txt pos_lnum) (loc ((loc_start ((pos_fname _none_) (pos_lnum 1) @@ -728,10 +904,45 @@ (loc_end ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))) - ((ppat_desc - (Ppat_var - ((txt pos_bol) + (loc_ghost true)))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ()))) + (pvb_expr + ((pexp_desc + (Pexp_apply + ((pexp_desc + (Pexp_send + ((pexp_desc + (Pexp_ident + ((txt (Lident self)) + (loc + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ())) + ((txt int) (loc ((loc_start ((pos_fname _none_) (pos_lnum 1) @@ -740,7 +951,7 @@ ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) (loc_ghost true)))))) - (ppat_loc + (pexp_loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) @@ -748,20 +959,54 @@ ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) (loc_ghost true))) - (ppat_loc_stack ()) - (ppat_attributes ()))) - (((txt (Lident pos_cnum)) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))) + (pexp_loc_stack ()) + (pexp_attributes ())) + ((Nolabel + ((pexp_desc + (Pexp_ident + ((txt (Lident pos_lnum)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ())))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ()))) + (pvb_constraint ()) (pvb_attributes ()) + (pvb_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))))) + ((pexp_desc + (Pexp_let Nonrecursive + (((pvb_pat ((ppat_desc (Ppat_var - ((txt pos_cnum) + ((txt pos_bol) (loc ((loc_start ((pos_fname _none_) (pos_lnum 1) @@ -779,93 +1024,38 @@ (pos_bol 0) (pos_cnum -1))) (loc_ghost true))) (ppat_loc_stack ()) - (ppat_attributes ())))) - Closed)) - (ppat_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (ppat_loc_stack ()) (ppat_attributes ())))))) - () - (Pfunction_body - ((pexp_desc - (Pexp_let Nonrecursive - (((pvb_pat - ((ppat_desc - (Ppat_var - ((txt pos_fname) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))))) - (ppat_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (ppat_loc_stack ()) (ppat_attributes ()))) - (pvb_expr - ((pexp_desc - (Pexp_apply - ((pexp_desc - (Pexp_send - ((pexp_desc - (Pexp_ident - ((txt (Lident self)) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())) - ((txt string) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())) - ((Nolabel + (ppat_attributes ()))) + (pvb_expr + ((pexp_desc + (Pexp_apply ((pexp_desc - (Pexp_ident - ((txt (Lident pos_fname)) + (Pexp_send + ((pexp_desc + (Pexp_ident + ((txt (Lident self)) + (loc + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ())) + ((txt int) (loc ((loc_start ((pos_fname _none_) @@ -885,115 +1075,57 @@ (pos_bol 0) (pos_cnum -1))) (loc_ghost true))) (pexp_loc_stack ()) - (pexp_attributes ())))))) - (pexp_loc + (pexp_attributes ())) + ((Nolabel + ((pexp_desc + (Pexp_ident + ((txt (Lident pos_bol)) + (loc + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ())))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ()))) + (pvb_constraint ()) (pvb_attributes ()) + (pvb_loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) (loc_end ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) (pexp_attributes ()))) - (pvb_constraint ()) (pvb_attributes ()) - (pvb_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))))) - ((pexp_desc - (Pexp_let Nonrecursive - (((pvb_pat - ((ppat_desc - (Ppat_var - ((txt pos_lnum) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))))) - (ppat_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (ppat_loc_stack ()) - (ppat_attributes ()))) - (pvb_expr - ((pexp_desc - (Pexp_apply - ((pexp_desc - (Pexp_send - ((pexp_desc - (Pexp_ident - ((txt (Lident self)) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())) - ((txt int) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())) - ((Nolabel - ((pexp_desc - (Pexp_ident - ((txt (Lident pos_lnum)) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc + (loc_ghost true))))) + ((pexp_desc + (Pexp_let Nonrecursive + (((pvb_pat + ((ppat_desc + (Ppat_var + ((txt pos_cnum) + (loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) @@ -1002,113 +1134,25 @@ ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ()))) - (pvb_constraint ()) (pvb_attributes ()) - (pvb_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))))) - ((pexp_desc - (Pexp_let Nonrecursive - (((pvb_pat - ((ppat_desc - (Ppat_var - ((txt pos_bol) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (ppat_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (ppat_loc_stack ()) - (ppat_attributes ()))) - (pvb_expr - ((pexp_desc - (Pexp_apply - ((pexp_desc - (Pexp_send - ((pexp_desc - (Pexp_ident - ((txt (Lident self)) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) - (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) - (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())) - ((txt int) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())) - ((Nolabel + (loc_ghost true)))))) ...TRUNCATED BY DUNE... + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())))) + ((pc_lhs + ((ppat_desc + (Ppat_construct + ((txt (Lident Pdir_ident)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))) + ((() + ((ppat_desc + (Ppat_var + ((txt a) + (loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) (loc_end ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))))) - ((pexp_desc - (Pexp_construct - ((txt (Lident Pdir_ident)) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))) - (((pexp_desc + (loc_ghost true)))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ())))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ()))) + (pc_guard ()) + (pc_rhs + ((pexp_desc + (Pexp_let Nonrecursive + (((pvb_pat + ((ppat_desc + (Ppat_var + ((txt a) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) + (ppat_attributes ()))) + (pvb_expr + ((pexp_desc + (Pexp_apply + ((pexp_desc + (Pexp_send + ((pexp_desc + (Pexp_ident + ((txt (Lident self)) + (loc + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ())) + ((txt longident) + (loc + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ())) + ((Nolabel + ((pexp_desc (Pexp_ident ((txt (Lident a)) (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) (loc_ghost true)))))) (pexp_loc ((loc_start @@ -135016,169 +124262,153 @@ (pos_bol 0) (pos_cnum -1))) (loc_ghost true))) (pexp_loc_stack ()) - (pexp_attributes ()))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())))) - (pexp_loc + (pexp_attributes ())))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ()))) + (pvb_constraint ()) (pvb_attributes ()) + (pvb_loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) (loc_end ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) (pexp_attributes ())))) - ((pc_lhs - ((ppat_desc - (Ppat_construct - ((txt (Lident Pdir_bool)) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))) - ((() - ((ppat_desc - (Ppat_var - ((txt a) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (ppat_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (ppat_loc_stack ()) - (ppat_attributes ())))))) - (ppat_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (ppat_loc_stack ()) (ppat_attributes ()))) - (pc_guard ()) - (pc_rhs - ((pexp_desc - (Pexp_let Nonrecursive - (((pvb_pat - ((ppat_desc - (Ppat_var - ((txt a) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (ppat_loc + (loc_ghost true))))) + ((pexp_desc + (Pexp_construct + ((txt (Lident Pdir_ident)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))) + (((pexp_desc + (Pexp_ident + ((txt (Lident a)) + (loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) (loc_end ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (ppat_loc_stack ()) - (ppat_attributes ()))) - (pvb_expr - ((pexp_desc - (Pexp_apply - ((pexp_desc - (Pexp_send - ((pexp_desc - (Pexp_ident - ((txt (Lident self)) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) - (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) - (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())) - ((txt bool) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())) - ((Nolabel - ((pexp_desc - (Pexp_ident - ((txt (Lident a)) - (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ()))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())))) + ((pc_lhs + ((ppat_desc + (Ppat_construct + ((txt (Lident Pdir_bool)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))) + ((() + ((ppat_desc + (Ppat_var + ((txt a) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ())))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) (ppat_attributes ()))) + (pc_guard ()) + (pc_rhs + ((pexp_desc + (Pexp_let Nonrecursive + (((pvb_pat + ((ppat_desc + (Ppat_var + ((txt a) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (ppat_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (ppat_loc_stack ()) + (ppat_attributes ()))) + (pvb_expr + ((pexp_desc + (Pexp_apply + ((pexp_desc + (Pexp_send + ((pexp_desc + (Pexp_ident + ((txt (Lident self)) + (loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) @@ -135187,52 +124417,53 @@ ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ())))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) - (pexp_attributes ()))) - (pvb_constraint ()) - (pvb_attributes ()) - (pvb_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))))) - ((pexp_desc - (Pexp_construct - ((txt (Lident Pdir_bool)) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))) - (((pexp_desc + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ())) + ((txt bool) + (loc + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ())) + ((Nolabel + ((pexp_desc (Pexp_ident ((txt (Lident a)) (loc - ((loc_start - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) - (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) + ((loc_start + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) + (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) (loc_ghost true)))))) (pexp_loc ((loc_start @@ -135243,7 +124474,48 @@ (pos_bol 0) (pos_cnum -1))) (loc_ghost true))) (pexp_loc_stack ()) - (pexp_attributes ()))))) + (pexp_attributes ())))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) + (pexp_attributes ()))) + (pvb_constraint ()) (pvb_attributes ()) + (pvb_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))))) + ((pexp_desc + (Pexp_construct + ((txt (Lident Pdir_bool)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))) + (((pexp_desc + (Pexp_ident + ((txt (Lident a)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) (pexp_loc ((loc_start ((pos_fname _none_) (pos_lnum 1) @@ -135253,25 +124525,25 @@ (pos_bol 0) (pos_cnum -1))) (loc_ghost true))) (pexp_loc_stack ()) - (pexp_attributes ())))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) (pexp_attributes ()))))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) (pexp_attributes ()))))) + (pexp_attributes ()))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ()))))))) (pexp_loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) @@ -135375,100 +124647,88 @@ ((pexp_desc (Pexp_poly ((pexp_desc - (Pexp_function () () - (Pfunction_body - ((pexp_desc - (Pexp_apply - ((pexp_desc - (Pexp_send - ((pexp_desc - (Pexp_ident - ((txt (Lident self)) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) (pexp_attributes ())) - ((txt list) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) (pexp_attributes ())) - ((Nolabel - ((pexp_desc - (Pexp_send - ((pexp_desc - (Pexp_ident - ((txt (Lident self)) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) (pexp_attributes ())) - ((txt case) - (loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) - (pos_bol 0) (pos_cnum -1))) - (loc_ghost true)))))) - (pexp_loc + (Pexp_apply + ((pexp_desc + (Pexp_send + ((pexp_desc + (Pexp_ident + ((txt (Lident self)) + (loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) (loc_end ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) (pexp_attributes ())))))) - (pexp_loc - ((loc_start - ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_end - ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) - (pos_cnum -1))) - (loc_ghost true))) - (pexp_loc_stack ()) (pexp_attributes ()))))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())) + ((txt list) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())) + ((Nolabel + ((pexp_desc + (Pexp_send + ((pexp_desc + (Pexp_ident + ((txt (Lident self)) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) + (pos_bol 0) (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())) + ((txt case) + (loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true)))))) + (pexp_loc + ((loc_start + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_end + ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) + (pos_cnum -1))) + (loc_ghost true))) + (pexp_loc_stack ()) (pexp_attributes ())))))) (pexp_loc ((loc_start ((pos_fname _none_) (pos_lnum 1) (pos_bol 0) File "test/metaquot/test.ml", line 1, characters 0-0: /usr/bin/git --no-pager diff --no-index --color=always -u _build/default/test/metaquot/test.ml _build/default/test/metaquot/test.ml.corrected diff --git a/_build/default/test/metaquot/test.ml b/_build/default/test/metaquot/test.ml.corrected index b33049e..2ec72ba 100644 --- a/_build/default/test/metaquot/test.ml +++ b/_build/default/test/metaquot/test.ml.corrected @@ -613,5 +613,7 @@ let _ = [%%expect{| -- : string = "fun x y z -> (x + y) + z" +Line _, characters 44-48: +Error: This expression has type Ppxlib.expression + but an expression was expected of type Parsetree.expression |}] "/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1 2024-09-09 09:16.25: Job failed: Failed: Build failed