Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 836562 - dev-ml/labltk-8.06.11 - Error: Unbound value repr
Summary: dev-ml/labltk-8.06.11 - Error: Unbound value repr
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Gentoo Team for the ML programming language family
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-03-31 19:27 UTC by Toralf Förster
Modified: 2022-04-05 10:38 UTC (History)
1 user (show)

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


Attachments
emerge-info.txt (emerge-info.txt,15.52 KB, text/plain)
2022-03-31 19:27 UTC, Toralf Förster
Details
dev-ml:labltk-8.06.11:20220331-191531.log (dev-ml:labltk-8.06.11:20220331-191531.log,34.18 KB, text/plain)
2022-03-31 19:27 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,17.92 KB, text/plain)
2022-03-31 19:27 UTC, Toralf Förster
Details
environment (environment,55.80 KB, text/plain)
2022-03-31 19:27 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,4.95 KB, application/x-bzip)
2022-03-31 19:27 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,17.96 KB, application/x-bzip)
2022-03-31 19:27 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-03-31 19:27:36 UTC
/usr/bin/ocamlc.opt -c -warn-error A-3 -I ../labltk -I ../lib -I ../support -I +compiler-libs searchid.ml
File "searchid.ml", line 98, characters 11-15:
98 |   let ty = repr ty in
                ^^^^
Error: Unbound value repr
make[2]: *** [Makefile.shared:35: searchid.cmo] Error 2
make[2]: Leaving directory '/var/tmp/portage/dev-ml/labltk-8.06.11/work/labltk-8.06.11/browser'

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_gnome_systemd-j4-20220331-140030

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11.2.1 *
clang/llvm (if any):
/usr/lib/llvm/14
14.0.0
Python 3.9.12
Available Rust versions:
  [1]   rust-bin-1.59.0 *
php cli:

  HEAD of ::gentoo
commit d160b203b0550c406ba5aa1f5a5956d01a62dd8c
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Thu Mar 31 18:34:40 2022 +0000

    2022-03-31 18:34:39 UTC

emerge -qpvO dev-ml/labltk
[ebuild  N    ] dev-ml/labltk-8.06.11  USE="X ocamlopt"
Comment 1 Toralf Förster gentoo-dev 2022-03-31 19:27:37 UTC
Created attachment 768330 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2022-03-31 19:27:38 UTC
Created attachment 768331 [details]
dev-ml:labltk-8.06.11:20220331-191531.log
Comment 3 Toralf Förster gentoo-dev 2022-03-31 19:27:39 UTC
Created attachment 768332 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2022-03-31 19:27:46 UTC
Created attachment 768333 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2022-03-31 19:27:47 UTC
Created attachment 768334 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2022-03-31 19:27:54 UTC
Created attachment 768335 [details]
temp.tar.bz2
Comment 7 Jeremy Stent 2022-04-02 17:32:36 UTC
It appears as if there are patches for this in the upstream repository.  Using the updated files from the repository the package built for me.
https://github.com/garrigue/labltk/commit/0e52cb81271236d904eaf18d26821d5df5e4234a
Comment 8 Larry the Git Cow gentoo-dev 2022-04-05 10:38:42 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=288d2286361097b8ac6c2b9e9512deeeed134336

commit 288d2286361097b8ac6c2b9e9512deeeed134336
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2022-04-05 10:38:23 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2022-04-05 10:38:23 +0000

    dev-ml/labltk: 8.06.12 bump
    
    Closes: https://bugs.gentoo.org/836562
    Package-Manager: Portage-3.0.30, Repoman-3.0.3
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/labltk/Manifest              |  1 +
 dev-ml/labltk/labltk-8.06.11.ebuild |  2 +-
 dev-ml/labltk/labltk-8.06.12.ebuild | 52 +++++++++++++++++++++++++++++++++++++
 3 files changed, 54 insertions(+), 1 deletion(-)