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

[#204] Pretty printing of Absyn in error message does not respect fixity

Date:
2018-05-19 14:37
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:
Cosmetic
OS Version:
any
SML/NJ Version:
110.82
Keywords:
Pretty printing
URL:
Transcript (of reproduction):
Standard ML of New Jersey v110.82 [built: Sat Oct 14 13:08:58 2017] - fun f [] = 0 = | f (x::xs) y = 1; stdIn:1.6-2.20 Error: clauses don't all have same number of patterns stdIn:1.6-2.20 Error: parameter or result constraints of clauses don't agree [tycon mismatch] this clause: 'Z list * 'Y -> 'X previous clauses: 'W list -> 'X in declaration: f = (fn nil => 0 | (:: <pat>,y) => 1)
Source (for reproduction):
fun f [] = 0 | f (x::xs) y = 1;
Summary:
Pretty printing of Absyn in error message does not respect fixity

Detailed description
The error message prints '::' as a prefix operator, instead of as an infix operator. This behavior is a regression, since previous versions got it right (see tests/bugs/outputs/bug0027.out for example).

Comments:

No Comments Have Been Posted

Attached Files:

Changes

No Changes Have Been Made to This Item