pkgsrc-Bugs archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

pkg/38235: lang/moscow_ml timing fails with: "Uncaught exception: Time"

>Number:         38235
>Category:       pkg
>Synopsis:       lang/moscow_ml timing fails with: "Uncaught exception: Time"
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    pkg-manager
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Thu Mar 13 09:20:00 +0000 2008
>Originator:     Alistair Cloete
>Release:        4.0
NetBSD 4.0 NetBSD 4.0 (GENERIC) #0: Sun Dec 16 00:20:10 PST 

Moscow ML's supplied timing function Mosml.time sporadically
causes 'Time' exceptions. These cause failures in Moscow ML's own
test suite and prevent HOL 4 ( from building.

Moscow ML expects getrusage(2) to return monotonically increasing
values for ru_utime and ru_stime. When these values decrease,
a 'Time' exception is raised. The getrusage(2) man page does
not specify whether this is expected or accidental behaviour
on NetBSD. (This may be related to PR bin/10201.)
$ pkg_info -e moscow_ml

$ cat >time.sml <<'EOT'
load "Mosml";

let fun loop2 m = if m=0 then 7 else
(  let fun loop1 n = if n=0 then 7 else loop1 (n-1)
    in Mosml.time loop1 5000000 end;
   loop2 (m-1)
in loop2 50 end;


$ mosml time.sml
Moscow ML version 2.00 (June 2000)
Enter `quit();' to quit.
[opening file "time.sml"]
> val it = () : unit
User: 0.220  System: 0.001  GC: 0.000  Real: 0.221
User: 0.147  System: 0.001  GC: 0.000  Real: 0.148
User: 0.145  System: 0.000  GC: 0.000  Real: 0.145
! Uncaught exception: 
! Time
[closing file "time.sml"]


Home | Main Index | Thread Index | Old Index