Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 817980 - dev-ml/labltk-8.06.10 - Error (warning 6 [labels-omitted]): label set was omitted in the application of this function.
Summary: dev-ml/labltk-8.06.10 - Error (warning 6 [labels-omitted]): label set was omi...
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: https://github.com/garrigue/labltk/co...
Whiteboard:
Keywords: PATCH
Depends on:
Blocks:
 
Reported: 2021-10-13 09:49 UTC by Toralf Förster
Modified: 2021-11-07 07:30 UTC (History)
2 users (show)

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


Attachments
emerge-info.txt (emerge-info.txt,15.25 KB, text/plain)
2021-10-13 09:49 UTC, Toralf Förster
Details
dev-ml:labltk-8.06.10:20211013-074514.log (dev-ml:labltk-8.06.10:20211013-074514.log,8.32 KB, text/plain)
2021-10-13 09:49 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,221.54 KB, text/plain)
2021-10-13 09:49 UTC, Toralf Förster
Details
environment (environment,21.39 KB, text/plain)
2021-10-13 09:49 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,16.68 KB, application/x-bzip)
2021-10-13 09:49 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,9.15 KB, application/x-bzip)
2021-10-13 09: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 2021-10-13 09:49:27 UTC
245 |   if List.mem ty !types_returned then ()
           ^^^^^^^^
Error (warning 6 [labels-omitted]): label set was omitted in the application of this function.
File "tables.ml", line 318, characters 7-21:
318 |     if List.mem_assoc subtyp typdef.subtypes
             ^^^^^^^^^^^^^^
Error (warning 6 [labels-omitted]): label map was omitted in the application of this function.

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_no_multilib_hardened-j4-20211011-040203

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11.2.0 *
clang version 13.0.0
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/13/bin
/usr/lib/llvm/13
13.0.0
Python 3.9.7
Available Ruby profiles:
  [1]   ruby26 (with Rubygems)
  [2]   ruby27 (with Rubygems)
  [3]   ruby30 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.55.0
  [2]   rust-1.55.0 *
The Glorious Glasgow Haskell Compilation System, version 8.10.4
php cli:

  HEAD of ::gentoo
commit 20656d2795312d304b9e97b952dfada3ebb5e2f2
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Wed Oct 13 07:06:41 2021 +0000

    2021-10-13 07:06:40 UTC

emerge -qpvO dev-ml/labltk
[ebuild  N    ] dev-ml/labltk-8.06.10  USE="ocamlopt -X"
Comment 1 Toralf Förster gentoo-dev 2021-10-13 09:49:28 UTC
Created attachment 744708 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2021-10-13 09:49:29 UTC
Created attachment 744711 [details]
dev-ml:labltk-8.06.10:20211013-074514.log
Comment 3 Toralf Förster gentoo-dev 2021-10-13 09:49:30 UTC
Created attachment 744714 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2021-10-13 09:49:32 UTC
Created attachment 744717 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2021-10-13 09:49:33 UTC
Created attachment 744720 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2021-10-13 09:49:34 UTC
Created attachment 744723 [details]
temp.tar.bz2
Comment 7 Martin Rapavý 2021-11-06 13:08:23 UTC
Why has this been confirmed for 3 weeks, but still not fixed?!

Simply bump the version to 8.06.11, where the error is already fixed.

It had been fixed upstream for almost 4 weeks when it was reported here.
Comment 8 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2021-11-06 13:12:43 UTC
(In reply to Martin Rapavý from comment #7)
> Why has this been confirmed for 3 weeks, but still not fixed?!
> 
> Simply bump the version to 8.06.11, where the error is already fixed.
> 
> It had been fixed upstream for almost 4 weeks when it was reported here.

Leaving a comment that it’s fixed upstream in a new release (possibly with a bug link) would’ve helped a lot. There’s a lot of new bugs per day and it’s easy to miss one.

Please try to be considerate when leaving comments on BZ, a person is reading them on the other side. I’ll look at this today.
Comment 9 Martin Rapavý 2021-11-06 18:55:02 UTC
I know, I am sorry, but I merely meant that when it was reported, by a Gentoo developer, apparently with a lot of effort, it had already been fixed upstream, so I meant that instead of generating more content for Gentoo Bugzilla, the reporter should have been more considerate and ought to have looked if it had not been fixed upstream already:
https://github.com/garrigue/labltk/commit/d0ea849f75680ab28e3f5e9147da3b53fc2f6c93
which immediately got into a new release:
https://github.com/garrigue/labltk/releases/tag/8.06.11
.
Comment 10 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2021-11-07 01:16:53 UTC
(In reply to Martin Rapavý from comment #9)
> I know, I am sorry, but I merely meant that when it was reported, by a
> Gentoo developer, apparently with a lot of effort, it had already been fixed
> upstream, so I meant that instead of generating more content for Gentoo
> Bugzilla, the reporter should have been more considerate and ought to have
> looked if it had not been fixed upstream already:
>

No problem, it happens! I understand.

Something possibly to keep in mind here: toralf is a developer who runs a lot of automated checks on the Gentoo repository with e.g. random USE flags to find problems. He's not a person who hit the problem "personally", so he just reports with as much information as he can, and leaves it to others to investigate.

It's a very useful approach but now I can understand your perspective.. 

> https://github.com/garrigue/labltk/commit/
> d0ea849f75680ab28e3f5e9147da3b53fc2f6c93
> which immediately got into a new release:
> https://github.com/garrigue/labltk/releases/tag/8.06.11
> .

I'll get on that now.
Comment 11 Larry the Git Cow gentoo-dev 2021-11-07 01:25:58 UTC
The bug has been closed via the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8a6cbadd64d9ed44e58a251798d7f01dd63ff042

commit 8a6cbadd64d9ed44e58a251798d7f01dd63ff042
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-11-07 01:18:22 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-11-07 01:18:22 +0000

    dev-ml/labltk: add 8.06.11
    
    Closes: https://bugs.gentoo.org/817980
    Signed-off-by: Sam James <sam@gentoo.org>

 dev-ml/labltk/Manifest              |  1 +
 dev-ml/labltk/labltk-8.06.11.ebuild | 50 +++++++++++++++++++++++++++++++++++++
 2 files changed, 51 insertions(+)
Comment 12 Larry the Git Cow gentoo-dev 2021-11-07 07:01:16 UTC
The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=599aff44170943768b988262c36d85df3515e829

commit 599aff44170943768b988262c36d85df3515e829
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-11-07 06:59:46 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-11-07 07:00:49 +0000

    dev-ml/labltk: backport warnings patch to 8.06.10
    
    Bug: https://bugs.gentoo.org/817980
    Signed-off-by: Sam James <sam@gentoo.org>

 dev-ml/labltk/Manifest              | 1 +
 dev-ml/labltk/labltk-8.06.10.ebuild | 2 ++
 2 files changed, 3 insertions(+)

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

commit b6edd6bce2abc4c3ca081e344e35f48de62a5600
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-11-07 06:53:51 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-11-07 07:00:48 +0000

    dev-ml/labltk: adjust OCaml dep
    
    Bug: https://bugs.gentoo.org/817980
    Closes: https://bugs.gentoo.org/822222
    Signed-off-by: Sam James <sam@gentoo.org>

 dev-ml/labltk/labltk-8.06.11.ebuild | 2 +-
 profiles/package.mask               | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)
Comment 13 Larry the Git Cow gentoo-dev 2021-11-07 07:11:58 UTC
The bug has been referenced in the following commit(s):

https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4381eaa1819e3d3dd86cbd8e8e3f2ec3e2c69eaa

commit 4381eaa1819e3d3dd86cbd8e8e3f2ec3e2c69eaa
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-11-07 07:11:42 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-11-07 07:11:42 +0000

    dev-embedded/gputils: fix unstaged patch filename
    
    Bug: https://bugs.gentoo.org/722648
    Bug: https://bugs.gentoo.org/817980
    Signed-off-by: Sam James <sam@gentoo.org>

 dev-embedded/gputils/gputils-1.5.0.ebuild | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)
Comment 14 Sam James archtester Gentoo Infrastructure gentoo-dev Security 2021-11-07 07:30:29 UTC
please let me know if it works for you now