Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 795246 - dev-ml/labltk-8.06.10 - Error: This expression has type
Summary: dev-ml/labltk-8.06.10 - Error: This expression has type
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: PATCH
Depends on:
Blocks:
 
Reported: 2021-06-10 16:03 UTC by Toralf Förster
Modified: 2021-07-14 20:53 UTC (History)
3 users (show)

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


Attachments
emerge-info.txt (emerge-info.txt,16.47 KB, text/plain)
2021-06-10 16:03 UTC, Toralf Förster
Details
dev-ml:labltk-8.06.10:20210610-000957.log (dev-ml:labltk-8.06.10:20210610-000957.log,34.92 KB, text/plain)
2021-06-10 16:03 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,185.42 KB, text/plain)
2021-06-10 16:03 UTC, Toralf Förster
Details
environment (environment,21.66 KB, text/plain)
2021-06-10 16:03 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,12.64 KB, application/x-bzip)
2021-06-10 16:03 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,11.39 KB, application/x-bzip)
2021-06-10 16:03 UTC, Toralf Förster
Details
labltk-8.06.10-this-expression-has-type.patch (labltk-8.06.10-this-expression-has-type.patch,644 bytes, patch)
2021-06-15 22:11 UTC, Attila Tóth
Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Toralf Förster gentoo-dev 2021-06-10 16:03:01 UTC
119 |         let str, sign, _names, env' = Typemod.type_structure !env pstr in
                                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type
         Location.t ->
         Typedtree.structure * Types.signature * Typemod.Signature_names.t *
         Env.t
       but an expression was expected of type 'a * 'b * 'c * 'd

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_desktop_plasma_systemd-j3-20210606-190645

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11.1.0 *
clang version 12.0.0
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/12/bin
/usr/lib/llvm/12
12.0.0
Python 3.8.10
Available Ruby profiles:
  [1]   ruby26 (with Rubygems)
  [2]   ruby30 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.52.1 *
The following VMs are available for generation-2:
*)	AdoptOpenJDK 8.292_p10 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.10.4
  [1]   php7.3 *
  [2]   php7.4
  [3]   php8.0
  HEAD of ::gentoo
commit 9ba3d6763b871c6c29eebad7e448602091972de0
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Wed Jun 9 22:50:23 2021 +0000

    2021-06-09 22:50:22 UTC

emerge -qpvO dev-ml/labltk
[ebuild  N    ] dev-ml/labltk-8.06.10  USE="X ocamlopt"
Comment 1 Toralf Förster gentoo-dev 2021-06-10 16:03:02 UTC
Created attachment 715131 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2021-06-10 16:03:03 UTC
Created attachment 715134 [details]
dev-ml:labltk-8.06.10:20210610-000957.log
Comment 3 Toralf Förster gentoo-dev 2021-06-10 16:03:05 UTC
Created attachment 715137 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2021-06-10 16:03:06 UTC
Created attachment 715140 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2021-06-10 16:03:07 UTC
Created attachment 715143 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2021-06-10 16:03:08 UTC
Created attachment 715146 [details]
temp.tar.bz2
Comment 7 Attila Tóth 2021-06-15 22:11:04 UTC
Created attachment 716370 [details, diff]
labltk-8.06.10-this-expression-has-type.patch

Proposed patch reverts a hunk from 8.06.9-8.06.10 diff.
May not be necessary after camlp4-4.12 upgrade...
Comment 8 Charlie Gehlin 2021-06-16 08:23:10 UTC
(In reply to Attila Tóth from comment #7)
> Created attachment 716370 [details, diff] [details, diff]
> labltk-8.06.10-this-expression-has-type.patch
> 
> Proposed patch reverts a hunk from 8.06.9-8.06.10 diff.
> May not be necessary after camlp4-4.12 upgrade...

Thanks! Package now compiles.
Comment 9 Larry the Git Cow gentoo-dev 2021-07-14 20:53:48 UTC
The bug has been closed via the following commit(s):

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

commit 121fe1ef2a7536970641a63ae26ca8c42dddbdd5
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2021-07-14 20:53:26 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2021-07-14 20:53:26 +0000

    dev-ml/labltk: fix build until dev-lang/ocaml:4.12
    
    Closes: https://bugs.gentoo.org/795246
    Package-Manager: Portage-3.0.20, Repoman-3.0.2
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 .../files/labltk-8.06.10-this-expression-has-type.patch      | 12 ++++++++++++
 dev-ml/labltk/labltk-8.06.10.ebuild                          |  1 +
 2 files changed, 13 insertions(+)