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

[#268] Polymorphic Type Pretty Printing Regression

Date:
2020-07-21 00:57
Priority:
3
State:
Closed
Submitted by:
Bug Submitter (webuser)
Assigned to:
David MacQueen (dbm)
Machine Architecture:
None
Operating System:
Generic Unix
Component:
Compiler
Resolution:
Fixed
Severity:
Cosmetic
OS Version:
SML/NJ Version:
v110.98
Keywords:
polymorphic type printing regression
URL:
Transcript (of reproduction):
- type 'a t = 'a list; type'a t = 'a list (* should be `type 'a t`; is `type'a t`, which is invalid syntax *)
Source (for reproduction):
type 'a t = 'a list
Summary:
Polymorphic Type Pretty Printing Regression

Detailed description
There is a missing space between the `type` keyword and type variables when pretty printing type declarations.
Submitted via web form by Harrison Grodin <hgrodin@andrew.cmu.edu>

Comments:

Message  ↓
Date: 2020-08-25 13:36
Sender: John Reppy

Fixed by reverting to 110.97 pretty printing code

Attached Files:

Changes

Field Old Value Date By
status_idOpen2020-08-25 13:36jhr
close_dateNone2020-08-25 13:36jhr
ResolutionAccepted As Bug2020-08-25 13:36jhr
assigned_tonone2020-07-21 14:09jhr
detailsThere is a missing space between the `type` keyword and type variables when pretty printing type declarations. Submitted via web form by Harrison Grodin <hgrodin@andrew.cmu.edu> 2020-07-21 14:09jhr
ResolutionNone2020-07-21 14:09jhr
Transcript (of reproduction)- type 'a t = 'a list; type'a t = 'a list (* should be `type 'a t`; is `type'a t`, which is invalid syntax *)2020-07-21 14:09jhr