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

[#190] Unexpected exception in SML/NJ with invalid list pattern match

Date:
2017-10-19 15:03
Priority:
3
State:
Open
Submitted by:
Jackson Woodruff (jwoodruff)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
None
Operating System:
All
Component:
Compiler
Resolution:
Accepted As Bug
Severity:
Minor
OS Version:
SML/NJ Version:
110.82 (trunk)
Keywords:
URL:
Transcript (of reproduction):
Source (for reproduction):
Summary:
Unexpected exception in SML/NJ with invalid list pattern match

Detailed description
Hi all,

The following interactive session results in an error:

val [x] = [];;

I get the message

unexpected exception (bug?) in SML/NJ: Bind [nonexhaustive binding failure]
raised at: stdIn:1.6-4.1
../compiler/MiscUtil/print/ppobj.sml:396.20
../compiler/TopLevel/interact/evalloop.sml:45.54

This seems related, but not the same as http://smlnj-gforge.cs.uchicago.edu/tracker/index.php?func=detail&aid=130&group_id=33&atid=215

Jackson.

Comments:

Message  ↓
Date: 2017-11-01 18:21
Sender: John Reppy

This appears to be a duplicate of 130.

Attached Files:

Changes

Field Old Value Date By
summaryUnexpected exception in SM/NJ with invalid list pattern match2017-11-15 18:27jhr
assigned_tonone2017-11-01 18:21jhr
Operating SystemNone2017-11-01 18:21jhr
ResolutionNone2017-11-01 18:21jhr