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

[#199] Compiler bug in pretty printing of result

Date:
2018-05-05 14:26
Priority:
3
State:
Open
Submitted by:
John Reppy (jhr)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
All
Operating System:
All
Component:
Compiler
Resolution:
Accepted As Bug
Severity:
Minor
OS Version:
SML/NJ Version:
110.82
Keywords:
pretty printing
URL:
Transcript (of reproduction):
Standard ML of New Jersey v110.82 [built: Sat Oct 14 13:08:58 2017] - datatype 'a foo = Foo1 of 'a | Foo2 of 'a; datatype 'a foo = Foo1 of 'a | Foo2 of 'a - val Foo1 f = Foo2(fn x => x); stdIn:2.5-2.29 Warning: binding not exhaustive Foo1 f = ... unexpected exception (bug?) in SML/NJ: Bind [nonexhaustive binding failure] raised at: stdIn:2.5-2.29 ../compiler/MiscUtil/print/ppobj.sml:396.20 ../compiler/TopLevel/interact/evalloop.sml:45.54
Source (for reproduction):
datatype 'a foo = Foo1 of 'a | Foo2 of 'a; val Foo1 f = Foo2(fn x => x);
Summary:
Compiler bug in pretty printing of result

Detailed description
This bug is from the old bugs list (#1250) and is in the regression tests.

Comments:

Message  ↓
Date: 2018-05-19 14:30
Sender: John Reppy

May be related to bug #190

Attached Files:

Changes

No Changes Have Been Made to This Item