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

[#200] Compiler bug in translate on unresolved flex record

Date:
2018-05-06 14:03
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:
type checker
URL:
Transcript (of reproduction):
Standard ML of New Jersey v110.82 [built: Sat Oct 14 13:08:58 2017] - (fn {...} => ()) 3; Error: Compiler bug: Translate: fillPat found unresolved flex record type
Source (for reproduction):
(fn {...} => ()) 3;
Summary:
Compiler bug in translate on unresolved flex record

Detailed description
This bug is a regression of a bug on the old bugs list (bug588.sml). The expected behavior is an error message about an unresolved flex record.

Comments:

No Comments Have Been Posted

Attached Files:

Changes

No Changes Have Been Made to This Item