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

[#206] Parsing of explicit type variables and val rec is broken

Date:
2018-05-19 14:55
Priority:
3
State:
Closed
Submitted by:
John Reppy (jhr)
Assigned to:
John Reppy (jhr)
Machine Architecture:
All
Operating System:
All
Component:
Compiler
Resolution:
Fixed
Severity:
Minor
OS Version:
SML/NJ Version:
110.82
Keywords:
URL:
Transcript (of reproduction):
Standard ML of New Jersey v110.82 [built: Sat Oct 14 13:08:58 2017] - val 'a rec f = fn x : 'a => x; stdIn:1.9-1.16 Error: syntax error: deleting REC IDA EQUALOP stdIn:1.17-1.23 Error: syntax error: deleting FN IDA COLON stdIn:1.24-1.29 Error: syntax error: deleting TYVAR DARROW
Source (for reproduction):
val 'a rec f = fn x : 'a => x;
Summary:
Parsing of explicit type variables and val rec is broken

Detailed description
The above syntax is allowed according to the Definition of SML (1997).

Comments:

Message  ↓
Date: 2018-05-30 15:42
Sender: John Reppy

The problem is that the parser had the tyvarseq following the `rec` keyword, instead of before it (as specified in the Definition). This is fixed for 110.83.

Attached Files:

Changes

Field Old Value Date By
status_idOpen2018-05-30 15:42jhr
close_dateNone2018-05-30 15:42jhr
ResolutionAccepted As Bug2018-05-30 15:42jhr