新泽西州标准ML
发行说明


版本2022.1
2022年8月25日


总结

此版本的主要目的是为github储存库.它还包括旧版本的错误修复110.99.3和一个新的pattern-match编译器的实现。

GitHub迁移

在这个版本中,我们使用github问题。我们已经使用预先填充遗留存储库的问题旧bug数据库中的条目。

由于问题与存储库相关联,我们现在有单独的跟踪程序来跟踪遗留版本和主要开发版本。而一个版本中存在的大多数错误也会出现在另一个版本中,不需要创建两个问题报告错误时。

细节

SML/NJ图书馆

  • 添加了查找并删除函数到ORD_MAP接口。

  • 有序映射的广义比较;已添加相等的延伸函数到ORD_MAP接口和制造类型整理多态性更强。

  • 这个SExp公司图书馆现在使用方案字符串值的语法。

  • 这个SExp公司解析器接受空文件作为有效输入(生成S-表达式的空列表)。

安装

这个配置/安装.sh脚本继续像以前一样工作。我们添加了一个-开发启用交叉编译的命令行选项(,它编译有限责任公司适用于所有受支持的目标体系结构)。

已解决问题

以下是此版本已修复(或已关闭)的问题列表。我们包括使用古老的错误追踪系统.

发行编号:。 描述 Gforge虫子

26

垃圾收集不会触发信号GC

65

51

makeml和installml脚本不喜欢带有空格的位置

90

141

错误消息中Absyn的漂亮打印不考虑固定性

141

205

case表达式的最后一个分支从中省略PPAst公司

270

219

编译器错误:合同:132上的UsageMap

284

223

异常的模式匹配不正确

290

224

没有为相应事件发送信号

291

239

Word8VectorSlice:映射子片会产生错误的结果或导致SML/NJ崩溃

306

240

SExpParser.parse文件应在空文件上返回空列表

307

241

添加用于转换的函数HTML4.html格式到字符串

308

242

SExp:解析打印机的输出会产生不同的SExp

309

243

REPL尝试打印类型的值时出错Posix公司。文件系统。ST.状态

310

244

无法使用中断执行SIGINT公司

311

245

CM.make公司无法处理包含反斜杠的文件名

312

247

IEEEReal.setRoundingMode(IEEE实际设置舍入模式)在Linux上是no-op

314

248

IEEEReal.float_class标准与基础库不匹配

315

249

人工支出实际值如果男子=0.0

316

250

从字符串到实数的转换不接受非有限值

317

251

IEEEReal.decimal_approx公司与基础库不匹配

318

252

的类型小数后实数与基本库不匹配

319

还修复了以下未编号的错误:

  • 编译深度嵌套模块时的性能错误。

遗留版本报告了以下错误,但不影响新版本。

发行编号:。 描述 Gforge虫子

246

来自LargeInt的实际值大整数输入时崩溃

313

支持的系统

我们相信SML/NJ将在以下系统上构建和运行,但只有测试了其中一些:

建筑 操作系统 状态

AMD64型

macOS 11(大苏尔)

已测试

macOS 12(蒙特雷)

已测试

macOS 13(Vecntura)