| Summary: | dev-ml/alcotest-1.5.0-r1 - Error: This expression has type | ||
|---|---|---|---|
| Product: | Gentoo Linux | Reporter: | Toralf Förster <toralf> |
| Component: | Current packages | Assignee: | Gentoo Team for the ML programming language family <ml> |
| Status: | RESOLVED FIXED | ||
| Severity: | normal | ||
| Priority: | Normal | ||
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
emerge-info.txt
dev-ml:alcotest-1.5.0-r1:20220720-203926.log emerge-history.txt environment etc.portage.tar.bz2 temp.tar.bz2 |
||
Created attachment 792641 [details]
emerge-info.txt
Created attachment 792644 [details]
dev-ml:alcotest-1.5.0-r1:20220720-203926.log
Created attachment 792647 [details]
emerge-history.txt
Created attachment 792650 [details]
environment
Created attachment 792653 [details]
etc.portage.tar.bz2
Created attachment 792656 [details]
temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=09574280249813d922bd623a4d495d4853733906 commit 09574280249813d922bd623a4d495d4853733906 Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2022-10-13 13:02:54 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2022-10-13 13:04:51 +0000 dev-ml/alcotest: adjust deps Closes: https://bugs.gentoo.org/859580 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> dev-ml/alcotest/alcotest-1.5.0-r1.ebuild | 2 +- dev-ml/alcotest/alcotest-1.6.0.ebuild | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) |
[since 2021-05] Use [Core] -- [Core_kernel] was renamed as [Core] File "src/alcotest-async/alcotest_async.ml", line 11, characters 36-43: 11 | (Time.Span.to_string_hum timeout)) ^^^^^^^ Error: This expression has type Async_unix__.Import.Time.Span.t = Time_unix.Span.t but an expression was expected of type ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_desktop_gnome_systemd-j4-20220720-120017 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-12.1.1 * clang/llvm (if any): clang version 14.0.6 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/14/bin /usr/lib/llvm/14 14.0.6 Python 3.10.5 Available Rust versions: [1] rust-bin-1.62.0 * php cli: HEAD of ::gentoo commit 2d8e452775a1d9cc04131d20c55bf5fd20e8023b Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Wed Jul 20 19:46:47 2022 +0000 2022-07-20 19:46:47 UTC emerge -qpvO dev-ml/alcotest [ebuild N ] dev-ml/alcotest-1.5.0-r1 USE="ocamlopt"