Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 538010

Summary: dev-ml/core-112.06.02 version bump
Product: Gentoo Linux Reporter: hfk22 <gentoo>
Component: [OLD] DevelopmentAssignee: Gentoo Team for the ML programming language family <ml>
Status: RESOLVED FIXED    
Severity: normal    
Priority: Normal    
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
Runtime testing required: ---

Description hfk22 2015-01-27 20:28:39 UTC
It looks like there's a bug in core-112.06.01 where core.top doesn't load properly.  Fortunately, it appears that it's been fixed in 112.06.02, so I was wondering if we could get a version bump.  I put the Github issue describing this problem in the URL.

Reproducible: Always

Steps to Reproduce:
1. ocaml
2. #use "topfind";;
3. #thread;;
4. #require "core.top";;
Actual Results:  
/usr/lib64/ocaml/core: added to search path
/usr/lib64/ocaml/core/core.cma: loaded
/usr/lib64/ocaml/core/core_top.cma: loaded
Unbound value Time_ns.Ofday.pp.
Unbound value Time_ns.pp.
Unbound value Time_ns.Option.pp.
Unbound value Time_ns.Span.Option.pp.
Unbound value Time_ns.Span.pp.
/usr/lib64/ocaml/core/core_top.cma: loaded
Unbound value Time_ns.Ofday.pp.
Unbound value Time_ns.pp.
Unbound value Time_ns.Option.pp.
Unbound value Time_ns.Span.Option.pp.
Unbound value Time_ns.Span.pp.

Expected Results:  
Module core.top should have loaded properly
Comment 1 Alexis Ballier gentoo-dev 2015-01-29 11:25:01 UTC
bumped, thanks!