版本

110.99.4（最新）

操作系统

• 任何
• Linux操作系统
• macOS操作系统
• 窗户
• 其他Unix

操作系统版本

无响应

处理器

• 任何
• 手臂（使用Rosetta）
• PowerPC公司
• 斯巴达克
• x86（32位）
• x86-64（64位）
• 其他

系统组件

核心系统

严重程度

次要

描述

编译器打印;作为,在错误消息中打印术语的语法时。

成绩单

新泽西州标准ML（64位）v110.99.4[建造日期：2023年8月1日星期二16:07:38]-如果为假，则为（1；2），否则为（3,4）；stdIn:1.2-1.32错误：if分支的类型不一致[重载-错误实例化]然后分支：'Z[INT]else分支：'Y[INT]*'X[INT]在表达式中：如果为假，则为（1，2），否则为（3，4）-

预期行为

源术语应打印为

如果为false，则（1；2）否则（3，4）

复制步骤

见成绩单。

其他信息

无响应

电子邮件地址

jhr@cs.uchicago.edu