Version
110.99.4 (Latest)
Operating System
OS Version
No response
Processor
System Component
Core system
Severity
Minor
Description
The compiler prints ; as , when printing the syntax of a term as part of an error message.
Transcript
Standard ML of New Jersey (64-bit) v110.99.4 [built: Tue Aug 01 16:07:38 2023]
- if false then (1;2) else (3,4);
stdIn:1.2-1.32 Error: types of if branches do not agree [overload - bad instantiation]
then branch: 'Z[INT]
else branch: 'Y[INT] * 'X[INT]
in expression:
if false then (1, 2) else (3,4)
-
Expected Behavior
The source term should be printed as
if false then (1; 2) else (3,4)
Steps to Reproduce
See transcript.
Additional Information
No response
Email address
jhr@cs.uchicago.edu
Version
110.99.4 (Latest)
Operating System
OS Version
No response
Processor
System Component
Core system
Severity
Minor
Description
The compiler prints
;as,when printing the syntax of a term as part of an error message.Transcript
Expected Behavior
The source term should be printed as
Steps to Reproduce
See transcript.
Additional Information
No response
Email address
jhr@cs.uchicago.edu