Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 723658 Details for
Bug 801985
dev-ml/base_quickcheck-0.14.0 - Error: Unbound constructor Invariant
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
dev-ml:base_quickcheck-0.14.0:20210713-032304.log
dev-ml:base_quickcheck-0.14.0:20210713-032304.log (text/plain), 2.39 KB, created by
Toralf Förster
on 2021-07-13 08:07:56 UTC
(
hide
)
Description:
dev-ml:base_quickcheck-0.14.0:20210713-032304.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2021-07-13 08:07:56 UTC
Size:
2.39 KB
patch
obsolete
> * Package: dev-ml/base_quickcheck-0.14.0 > * Repository: gentoo > * Maintainer: gienah@gentoo.org > * USE: abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt userland_GNU > * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox > >>>> Unpacking source... >>>> Unpacking base_quickcheck-0.14.0.tar.gz to /var/tmp/portage/dev-ml/base_quickcheck-0.14.0/work >>>> Source unpacked in /var/tmp/portage/dev-ml/base_quickcheck-0.14.0/work >>>> Preparing source in /var/tmp/portage/dev-ml/base_quickcheck-0.14.0/work/base_quickcheck-0.14.0 ... >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/dev-ml/base_quickcheck-0.14.0/work/base_quickcheck-0.14.0 ... >>>> Source configured. >>>> Compiling source in /var/tmp/portage/dev-ml/base_quickcheck-0.14.0/work/base_quickcheck-0.14.0 ... >File "ppx_quickcheck/expander/environment.ml", line 53, characters 8-17: >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 > ^^^^^^^^^^^^^^^^^^^^^^ >Error: This expression has type (core_type * (variance * injectivity)) list > but an expression was expected of type (core_type * variance) list > Type variance * injectivity is not compatible with type variance > * ERROR: dev-ml/base_quickcheck-0.14.0::gentoo failed (compile phase): > * (no error message) > * > * Call stack: > * ebuild.sh, line 127: Called src_compile > * environment, line 518: Called dune_src_compile > * environment, line 339: Called die > * The specific snippet of code: > * dune build @install || die > * > * If you need support, post the output of `emerge --info '=dev-ml/base_quickcheck-0.14.0::gentoo'`, > * the complete build log and the output of `emerge -pqv '=dev-ml/base_quickcheck-0.14.0::gentoo'`. > * The complete build log is located at '/var/log/portage/dev-ml:base_quickcheck-0.14.0:20210713-032304.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-ml/base_quickcheck-0.14.0/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/dev-ml/base_quickcheck-0.14.0/temp/environment'. > * Working directory: '/var/tmp/portage/dev-ml/base_quickcheck-0.14.0/work/base_quickcheck-0.14.0' > * S: '/var/tmp/portage/dev-ml/base_quickcheck-0.14.0/work/base_quickcheck-0.14.0' >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 801985
:
723655
| 723658 |
723661
|
723664
|
723667
|
723670