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

[#123] missing warning for non-exaustive binding at top level

Date:
2014-01-03 02:08
Priority:
3
State:
Open
Submitted by:
Bug Submitter (webuser)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
None
Operating System:
Generic Unix
Component:
Compiler
Resolution:
None
Severity:
Minor
OS Version:
SML/NJ Version:
110.76
Keywords:
binding top-level
URL:
Transcript (of reproduction):
% sml Standard ML of New Jersey v110.76 [built: Mon Aug 19 10:38:12 2013] - datatype ty = A | B of int; datatype ty = A | B of int - fun f x = let val B j = x in j end; val f = fn : ty - int - f A; uncaught exception Bind [nonexhaustive binding failure] raised at: stdIn:7.19-7.26
Source (for reproduction):
datatype ty = A | B of int; fun f x = let val B j = x in j end;
Summary:
missing warning for non-exaustive binding at top level

Detailed description
No warning is generated for a non-exhaustive binding in a top-level function
Additional comments:
This issue came up on the MLton mailing list.

Submitted via web form by John Reppy jhr@cs.uchicago.edu

Comments:

No Comments Have Been Posted

Attached Files:

Changes

Field Old Value Date By
assigned_tonone2014-01-03 02:38jhr