Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 886115 - dev-ml/alcotest-1.2.3-r3 - Error: This expression has type
Summary: dev-ml/alcotest-1.2.3-r3 - Error: This expression has type
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-12-15 10:01 UTC by Toralf Förster
Modified: 2022-12-24 15:54 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge-info.txt (emerge-info.txt,20.50 KB, text/plain)
2022-12-15 10:01 UTC, Toralf Förster
Details
dev-ml:alcotest-1.2.3-r3:20221215-033706.log (dev-ml:alcotest-1.2.3-r3:20221215-033706.log,9.94 KB, text/plain)
2022-12-15 10:01 UTC, Toralf Förster
Details
emerge-history.txt.bz2 (emerge-history.txt.bz2,101.22 KB, application/x-bzip)
2022-12-15 10:01 UTC, Toralf Förster
Details
environment (environment,28.11 KB, text/plain)
2022-12-15 10:01 UTC, Toralf Förster
Details
etc.clang.tar.bz2 (etc.clang.tar.bz2,709 bytes, application/x-bzip)
2022-12-15 10:01 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,42.89 KB, application/x-bzip)
2022-12-15 10:01 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,11.14 KB, application/x-bzip)
2022-12-15 10:01 UTC, Toralf Förster
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2022-12-15 10:01:11 UTC
            ^^^^^^^^^^^^^^^^
Alert deprecated: Cmdliner.Term.eval_choice
Use Cmd.group and one of Cmd.eval* instead.
File "src/alcotest-engine/cli.ml", line 326, characters 56-62:
326 |     | `Ok unit_m -> unit_m >>= fun () -> exit_or_return result
                                                              ^^^^^^
Error: This expression has type
         return Cmdliner.Term.result =
           [ `Error of [ `Exn | `Parse | `Term ]

  -------------------------------------------------------------------

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_systemd-j4-20221210-052027

  -------------------------------------------------------------------

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11
 [2] x86_64-pc-linux-gnu-12 *
clang/llvm (if any):
clang version 15.0.6
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/15/bin
Configuration file: /etc/clang/clang.cfg
/usr/lib/llvm/15
15.0.6
Python 3.10.9
Available Rust versions:
  [1]   rust-bin-1.65.0
  [2]   rust-1.65.0 *
The following VMs are available for generation-2:
1)	Eclipse Temurin JDK 11.0.17_p8 [openjdk-bin-11]
*)	Eclipse Temurin JDK 17.0.5_p8 [openjdk-bin-17]
3)	Eclipse Temurin JDK 8.352_p08 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8 
  [2]   openjdk-bin-11 
  [3]   openjdk-bin-17  system-vm

The Glorious Glasgow Haskell Compilation System, version 9.0.2
php cli (if any):
  [1]   php8.2 *

  HEAD of ::gentoo
commit f90a837ab2b4cc9e9b4bd848d929785fc92aad7d
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Thu Dec 15 02:46:59 2022 +0000

    2022-12-15 02:46:58 UTC

emerge -qpvO dev-ml/alcotest
[ebuild  N    ] dev-ml/alcotest-1.5.0-r2  USE="ocamlopt -test"
Comment 1 Toralf Förster gentoo-dev 2022-12-15 10:01:12 UTC
Created attachment 842809 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-12-15 10:01:13 UTC
Created attachment 842811 [details]
dev-ml:alcotest-1.2.3-r3:20221215-033706.log
Comment 3 Toralf Förster gentoo-dev 2022-12-15 10:01:14 UTC
Created attachment 842813 [details]
emerge-history.txt.bz2
Comment 4 Toralf Förster gentoo-dev 2022-12-15 10:01:15 UTC
Created attachment 842815 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2022-12-15 10:01:16 UTC
Created attachment 842817 [details]
etc.clang.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-12-15 10:01:17 UTC
Created attachment 842819 [details]
etc.portage.tar.bz2
Comment 7 Toralf Förster gentoo-dev 2022-12-15 10:01:18 UTC
Created attachment 842821 [details]
temp.tar.bz2
Comment 8 Larry the Git Cow gentoo-dev 2022-12-24 15:54:33 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=327717da745fea44b3459e1a5d2ffc62d17e7bae

commit 327717da745fea44b3459e1a5d2ffc62d17e7bae
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2022-12-24 15:53:35 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2022-12-24 15:54:04 +0000

    dev-ml/alcotest: require an old cmdliner
    
    Closes: https://bugs.gentoo.org/886115
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/alcotest/alcotest-1.2.3-r3.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)