Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 748516 - dev-ml/csexp-1.3.2 : Error: Unbound type constructor Result.t
Summary: dev-ml/csexp-1.3.2 : Error: Unbound type constructor Result.t
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:
Depends on:
Blocks:
 
Reported: 2020-10-13 17:40 UTC by Toralf Förster
Modified: 2021-02-19 21:01 UTC (History)
2 users (show)

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


Attachments
emerge-info.txt (emerge-info.txt,16.59 KB, text/plain)
2020-10-13 17:40 UTC, Toralf Förster
Details
dev-ml:csexp-1.3.2:20201013-152052.log (dev-ml:csexp-1.3.2:20201013-152052.log,2.08 KB, text/plain)
2020-10-13 17:40 UTC, Toralf Förster
Details
emerge-history.txt (emerge-history.txt,179.56 KB, text/plain)
2020-10-13 17:40 UTC, Toralf Förster
Details
environment (environment,20.10 KB, text/plain)
2020-10-13 17:40 UTC, Toralf Förster
Details
etc.portage.tbz2 (etc.portage.tbz2,21.28 KB, application/x-bzip)
2020-10-13 17:40 UTC, Toralf Förster
Details
temp.tbz2 (temp.tbz2,7.29 KB, application/x-bzip)
2020-10-13 17:40 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 2020-10-13 17:40:32 UTC
36 |   val parse_string : string -> (Sexp.t, int * string) Result.t
                                                           ^^^^^^^^
Error: Unbound type constructor Result.t
Done: 21/39 (jobs: 1)
                     
Done: 21/39 (jobs: 1)

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

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

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

gcc-config -l:
 [1] x86_64-pc-linux-gnu-7.3.1
 [2] x86_64-pc-linux-gnu-10.2.0 *
clang version 11.0.0
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/lib/llvm/11/bin
/usr/lib/llvm/11
11.0.0
Available Python interpreters, in order of preference:
  [1]   python3.7
  [2]   python3.9 (fallback)
  [3]   python3.8 (fallback)
  [4]   python2.7 (fallback)
Available Ruby profiles:
  [1]   ruby25 (with Rubygems)
  [2]   ruby26 (with Rubygems)
  [3]   ruby27 (with Rubygems) *
Available Rust versions:
  [1]   rust-bin-1.47.0
  [2]   rust-1.47.0 *
The following VMs are available for generation-2:
*)	AdoptOpenJDK 8.265_p01 [openjdk-bin-8]
Available Java Virtual Machines:
  [1]   openjdk-bin-8  system-vm

The Glorious Glasgow Haskell Compilation System, version 8.8.4

  timestamp(s) of HEAD at this tinderbox image:
/var/db/repos/gentoo	Tue Oct 13 02:35:15 PM UTC 2020

emerge -qpvO dev-ml/csexp
[ebuild  N    ] dev-ml/csexp-1.3.2  USE="ocamlopt -test"
Comment 1 Toralf Förster gentoo-dev 2020-10-13 17:40:33 UTC
Created attachment 665071 [details]
emerge-info.txt
Comment 2 Toralf Förster gentoo-dev 2020-10-13 17:40:34 UTC
Created attachment 665074 [details]
dev-ml:csexp-1.3.2:20201013-152052.log
Comment 3 Toralf Förster gentoo-dev 2020-10-13 17:40:36 UTC
Created attachment 665077 [details]
emerge-history.txt
Comment 4 Toralf Förster gentoo-dev 2020-10-13 17:40:38 UTC
Created attachment 665080 [details]
environment
Comment 5 Toralf Förster gentoo-dev 2020-10-13 17:40:39 UTC
Created attachment 665083 [details]
etc.portage.tbz2
Comment 6 Toralf Förster gentoo-dev 2020-10-13 17:40:40 UTC
Created attachment 665086 [details]
temp.tbz2
Comment 7 AlxQ 2020-11-01 11:53:17 UTC
Please try to update dev-ml/result to 1.5
Comment 8 Larry the Git Cow gentoo-dev 2021-02-19 21:01:24 UTC
The bug has been closed via the following commit(s):

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

commit 59096e6432cf358c565b8b150b800955e5deadb7
Author:     Alfredo Tupone <tupone@gentoo.org>
AuthorDate: 2021-02-19 21:01:08 +0000
Commit:     Alfredo Tupone <tupone@gentoo.org>
CommitDate: 2021-02-19 21:01:08 +0000

    dev-ml/csexp: dep on result-1.5
    
    Closes: https://bugs.gentoo.org/748516
    Package-Manager: Portage-3.0.13, Repoman-3.0.2
    Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

 dev-ml/csexp/csexp-1.3.2-r1.ebuild | 2 +-
 dev-ml/csexp/metadata.xml          | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)