| Summary: | dev-ml/labltk-8.06.10 - Error (warning 6 [labels-omitted]): label set was omitted in the application of this function. | ||
|---|---|---|---|
| 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 | CC: | Antikapitalista1, sam |
| Priority: | Normal | Keywords: | PATCH |
| Version: | unspecified | ||
| Hardware: | All | ||
| OS: | Linux | ||
| URL: | https://github.com/garrigue/labltk/commit/d0ea849f75680ab28e3f5e9147da3b53fc2f6c93 | ||
| Whiteboard: | |||
| Package list: | Runtime testing required: | --- | |
| Attachments: |
emerge-info.txt
dev-ml:labltk-8.06.10:20211013-074514.log emerge-history.txt environment etc.portage.tar.bz2 temp.tar.bz2 |
||
Created attachment 744708 [details]
emerge-info.txt
Created attachment 744711 [details]
dev-ml:labltk-8.06.10:20211013-074514.log
Created attachment 744714 [details]
emerge-history.txt
Created attachment 744717 [details]
environment
Created attachment 744720 [details]
etc.portage.tar.bz2
Created attachment 744723 [details]
temp.tar.bz2
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. (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. 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 . (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. 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(+) 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(-) 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(-) please let me know if it works for you now |
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"