Home My Page Projects Code Snippets Project Openings SML/NJ Bugs
Summary Activity Tracker Lists

[#110] IntInf.~>> returns the wrong answer on negative input

Date:
2013-04-11 22:15
Priority:
3
State:
Closed
Submitted by:
Bug Submitter (webuser)
Assigned to:
John Reppy (jhr)
Machine Architecture:
x86
Operating System:
Other
Component:
Basis Library
Resolution:
Fixed
Severity:
Minor
OS Version:
Windows 7
SML/NJ Version:
110.75
Keywords:
URL:
Transcript (of reproduction):
- IntInf.~ (~1, 0w1); val it = 0 : IntInf.int
Source (for reproduction):
IntInf.~ (~1, 0w1);
Summary:
IntInf.~>> returns the wrong answer on negative input

Detailed description
IntInf.~ is rounding toward zero, not down as the spec calls for.
Submitted via web form by Karl Crary crary@cs.cmu.edu

Comments:

Message  ↓
Date: 2014-08-17 17:21
Sender: John Reppy

Fixed for 110.77

Date: 2013-04-11 22:22
Sender: Lars Bergstrom

I'm guessing the transcript is actually:
- IntInf.~>> (~1, 0w1);
val it = 0 : int

But the >s were helpfully stripped out by our bug tracking form, in the name of security.

Attached Files:

Changes

Field Old Value Date By
status_idOpen2014-08-17 17:21jhr
close_date2014-08-17 17:212014-08-17 17:21jhr
ResolutionNone2014-08-17 17:21jhr
summaryIntInf.~ returns the wrong answer on negative input2014-07-30 18:20jhr
summaryIntInt.~ returns the wrong answer on negative input2014-07-30 18:19jhr
assigned_tonone2013-04-16 11:48jhr