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

[#52] nonsensical type error message

Date:
2009-12-28 05:37
Priority:
3
State:
Closed
Submitted by:
Bug Submitter (webuser)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
None
Operating System:
Generic Unix
Component:
Compiler
Resolution:
Fixed
Severity:
Minor
OS Version:
SML/NJ Version:
110.71
Keywords:
types error messages
URL:
Transcript (of reproduction):
- true + 3; stdIn:1.1-1.9 Error: operator and operand don't agree [literal] operator domain: bool * bool operand: bool * int in expression: true + 3 stdIn:1.6 Error: overloaded variable not defined at type symbol: + type: bool -
Source (for reproduction):
true + 3;
Summary:
nonsensical type error message

Detailed description
Type checker issues nonsensical error message when operator +
(or any overloaded operator?) is used at the wrong type.
Additional comments:
The problem seems to be caused by having the boolean argument
appear first. If "3 + true" is entered instead, the error message
is correct.

Submitted via web form by Matthias Blume <matthias_blume@mac.com>

Comments:

Message  ↓
Date: 2014-12-20 16:36
Sender: John Reppy

Fixed for 110.78

Attached Files:

Changes

Field Old Value Date By
status_idOpen2014-12-20 16:36jhr
close_date2014-12-20 16:362014-12-20 16:36jhr
ResolutionNone2014-12-20 16:36jhr
assigned_tonone2011-03-22 13:39jhr