Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 878095 - dev-ml/atd-2.10.0 - Error: This expression has type Bi_outbuf.t
Summary: dev-ml/atd-2.10.0 - Error: This expression has type Bi_outbuf.t
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-10-23 12:48 UTC by Toralf Förster
Modified: 2022-10-23 16:06 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,19.35 KB, text/plain)
2022-10-23 12:48 UTC, Toralf Förster
Details
dev-ml:atd-2.10.0:20221023-110609.log (dev-ml:atd-2.10.0:20221023-110609.log,2.73 KB, text/plain)
2022-10-23 12:48 UTC, Toralf Förster
Details
emerge-history.txt.bz2 (emerge-history.txt.bz2,75.00 KB, application/x-bzip)
2022-10-23 12:49 UTC, Toralf Förster
Details
environment (environment,26.23 KB, text/plain)
2022-10-23 12:49 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,18.60 KB, application/x-bzip)
2022-10-23 12:49 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,9.50 KB, application/x-bzip)
2022-10-23 12:49 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-10-23 12:48:57 UTC
 * Building ...
File "atdgen-runtime/src/oj_run.ml", line 123, characters 37-39:
123 |       | FP_zero -> Buffer.add_string ob (Printf.sprintf "%.0f" x)
                                           ^^
Error: This expression has type Bi_outbuf.t
       but an expression was expected of type Buffer.t
File "atdgen-runtime/src/util.ml", line 1:

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop-j4-20221019-230005

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

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.3
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.3
Python 3.10.8
Available Ruby profiles:
  [1]   ruby27 (with Rubygems)
  [2]   ruby31 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.64.0 *
The following VMs are available for generation-2:
1)	IcedTea JDK 3.16.0 [icedtea-bin-8]
2)	OpenJDK 17.0.5_p5 [openjdk-17]
3)	Eclipse Temurin JDK 11.0.16.1_p1 [openjdk-bin-11]
*)	Eclipse Temurin JDK 17.0.4.1_p1 [openjdk-bin-17]
5)	Eclipse Temurin JDK 8.345_p01 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   icedtea-bin-8 
  [2]   openjdk-17 
  [3]   openjdk-bin-8 
  [4]   openjdk-bin-11 
  [5]   openjdk-bin-17  system-vm

The Glorious Glasgow Haskell Compilation System, version 9.0.2
php cli (if any):
  [1]   php7.4
  [2]   php8.0
  [3]   php8.1 *
GNU Make 4.3

  HEAD of ::gentoo
commit 08c9268e155b3f14019c791d4a33bc5fb54d89c7
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Sun Oct 23 11:01:52 2022 +0000

    2022-10-23 11:01:52 UTC

emerge -qpvO dev-ml/atd
[ebuild  N    ] dev-ml/atd-2.10.0  USE="ocamlopt"
Comment 1 Toralf Förster gentoo-dev 2022-10-23 12:48:58 UTC
Created attachment 825123 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-10-23 12:48:59 UTC
Created attachment 825125 [details]
dev-ml:atd-2.10.0:20221023-110609.log
Comment 3 Toralf Förster gentoo-dev 2022-10-23 12:49:01 UTC
Created attachment 825127 [details]
emerge-history.txt.bz2
Comment 4 Toralf Förster gentoo-dev 2022-10-23 12:49:02 UTC
Created attachment 825129 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2022-10-23 12:49:03 UTC
Created attachment 825131 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-10-23 12:49:04 UTC
Created attachment 825133 [details]
temp.tar.bz2
Comment 7 Maciej Barć gentoo-dev 2022-10-23 14:39:20 UTC
This issue thows is similar error elpi in this issue https://github.com/LPCIC/elpi/issues/159

I can reproduce this for elpi (unpackaged) but not for atd.
Comment 8 Maciej Barć gentoo-dev 2022-10-23 16:02:15 UTC
oh! it does use the oldest yojson
Comment 9 Larry the Git Cow gentoo-dev 2022-10-23 16:06:16 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8720e7d87d1db72513cd5f48fcd52c5954efd207

commit 8720e7d87d1db72513cd5f48fcd52c5954efd207
Author:     Maciej Barć <xgqt@gentoo.org>
AuthorDate: 2022-10-23 16:05:34 +0000
Commit:     Maciej Barć <xgqt@gentoo.org>
CommitDate: 2022-10-23 16:06:14 +0000

    dev-ml/atd: use yojson >=2.0.2
    
    Closes: https://bugs.gentoo.org/878095
    Signed-off-by: Maciej Barć <xgqt@gentoo.org>

 dev-ml/atd/atd-2.10.0.ebuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)