Package: smlnj
Version: 110.75-1
Severity: grave
Tags: patch
Justification: renders package unusable

Dear Maintainer,

running (on a 64 bits machine):

open Int64;
~2 <= 0;

gives false. Probably as a consequence, random generator raises an exception
after a few interrogations.
..

Here is the detailled run:


raffalli@delli7:~$ sml
Standard ML of New Jersey v110.75 [built: Thu May  9 00:21:15 2013]
- open Int64;
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
opening Int64
  type int = Int64.int
  val precision : Int31.int option
  val minInt : int option
  val maxInt : int option
  val toLarge : int -> IntInf.int
  val fromLarge : IntInf.int -> int
  val toInt : int -> Int31.int
  val fromInt : Int31.int -> int
  val ~ : int -> int
  val + : int * int -> int
  val - : int * int -> int
  val * : int * int -> int
  val div : int * int -> int
  val mod : int * int -> int
  val quot : int * int -> int
  val rem : int * int -> int
  val min : int * int -> int
  val max : int * int -> int
  val abs : int -> int
  val sign : int -> Int31.int
  val sameSign : int * int -> bool
  val > : int * int -> bool
  val >= : int * int -> bool
  val < : int * int -> bool
  val <= : int * int -> bool
  val compare : int * int -> order
  val toString : int -> string
  val fromString : string -> int option
  val scan : StringCvt.radix
             -> (char,'a) StringCvt.reader -> (int,'a) StringCvt.reader
  val fmt : StringCvt.radix -> int -> string
- ~2 <= 0;
val it = false : bool



-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-4-amd64 (SMP w/8 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages smlnj depends on:
ii  smlnj-runtime  110.75-1

Versions of packages smlnj recommends:
ii  libsmlnj-smlnj  110.75-1

Versions of packages smlnj suggests:
pn  smlnj-doc  <none>

-- no debconf information


-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Reply via email to