Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 801985 - dev-ml/base_quickcheck-0.14.0 - Error: Unbound constructor Invariant
Summary: dev-ml/base_quickcheck-0.14.0 - Error: Unbound constructor Invariant
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Current packages (show other bugs)
Hardware: All Linux
: Normal normal
Assignee: Mark Wright
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2021-07-13 08:07 UTC by Toralf Förster
Modified: 2021-10-15 03:43 UTC (History)
0 users

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


Attachments
emerge-info.txt (emerge-info.txt,15.35 KB, text/plain)
2021-07-13 08:07 UTC, Toralf Förster
Details
dev-ml:base_quickcheck-0.14.0:20210713-032304.log (dev-ml:base_quickcheck-0.14.0:20210713-032304.log,2.39 KB, text/plain)
2021-07-13 08:07 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,101.37 KB, text/plain)
2021-07-13 08:07 UTC, Toralf Förster
Details
environment (environment,20.64 KB, text/plain)
2021-07-13 08:07 UTC, Toralf Förster
Details
etc.portage.tar.bz2 (etc.portage.tar.bz2,14.59 KB, application/x-bzip)
2021-07-13 08:08 UTC, Toralf Förster
Details
temp.tar.bz2 (temp.tar.bz2,7.42 KB, application/x-bzip)
2021-07-13 08:08 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-07-13 08:07:54 UTC
53 |       | Invariant | Covariant ->
             ^^^^^^^^^
Error: Unbound constructor Invariant
Hint: Did you mean Covariant?
File "ppx_quickcheck/expander/ppx_quickcheck_expander.ml", line 154, characters 8-30:
154 |         type_decl.ptype_params
              ^^^^^^^^^^^^^^^^^^^^^^

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

  This is an unstable amd64 chroot image at a tinderbox (==build bot)
  name: 17.1_systemd-j3_abi32+64-20210711-194742

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-11.1.0 *
clang version 12.0.1
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/12/bin
/usr/lib/llvm/12
12.0.1
Python 3.9.6
Available Ruby profiles:
  [1]   ruby26 (with Rubygems)
  [2]   ruby30 (with Rubygems) *
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.4
  [2]   php8.0 *
  HEAD of ::gentoo
commit 663cbacb2188c90995a95640d8b5232dfcb45fbb
Author: Repository mirror & CI <repomirrorci@gentoo.org>
Date:   Tue Jul 13 00:51:51 2021 +0000

    2021-07-13 00:51:50 UTC

emerge -qpvO dev-ml/base_quickcheck
[ebuild  N    ] dev-ml/base_quickcheck-0.14.0  USE="ocamlopt"
Comment 1 Toralf Förster gentoo-dev 2021-07-13 08:07:55 UTC
Created attachment 723655 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2021-07-13 08:07:56 UTC
Created attachment 723658 [details]
dev-ml:base_quickcheck-0.14.0:20210713-032304.log
Comment 3 Toralf Förster gentoo-dev 2021-07-13 08:07:58 UTC
Created attachment 723661 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2021-07-13 08:07:59 UTC
Created attachment 723664 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2021-07-13 08:08:00 UTC
Created attachment 723667 [details]
etc.portage.tar.bz2
Comment 6 Toralf Förster gentoo-dev 2021-07-13 08:08:01 UTC
Created attachment 723670 [details]
temp.tar.bz2
Comment 7 Larry the Git Cow gentoo-dev 2021-10-15 03:43:38 UTC
The bug has been closed via the following commit(s):

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

commit 9e2d826b911664fa1944f8f943f44d758b5506b7
Author:     Sam James <sam@gentoo.org>
AuthorDate: 2021-10-15 03:43:12 +0000
Commit:     Sam James <sam@gentoo.org>
CommitDate: 2021-10-15 03:43:12 +0000

    dev-ml/base_quickcheck: tighten ppxlib dependencies
    
    Closes: https://bugs.gentoo.org/801985
    Signed-off-by: Sam James <sam@gentoo.org>

 .../{base_quickcheck-0.14.0.ebuild => base_quickcheck-0.14.0-r1.ebuild} | 1 +
 .../{base_quickcheck-0.14.1.ebuild => base_quickcheck-0.14.1-r1.ebuild} | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)