新泽西州标准ML
110.83版新闻
2018年6月1日

SML/NJ主页:
http://www.smlnj.org/index.html
文件夹:
http://smlnj.cs.uchicago.edu/dist/working/10.83/

总结:

这个版本继续向64位支持进军(看起来是一个漫长的过程)。为了支持32位和可能的64位目标,以及一些错误修复。

细节:

基础库:

此版本继续跟踪拟议的基础库改进。请注意,这些改进是建议尚未批准且可能更改的文件!具体而言,此版本的SML/NJ支持以下提案:

[2018-001]添加单态缓冲液
此更改添加了单缓冲器签名到基础库,带有实例CharBuffer(字符缓冲区)Word8缓冲区.

我们还修复了一些Basis函数的实现情况不符合规范。有关详细信息,请参阅错误修复列表。

编译器

将实际文字的内部表示从字符串更改为更多结构化表示(请参见编译器/基础知识/实数/代码)。

更改了Absyn公司,普兰姆达,打火石、和中央处理器IR至将整数和文字表示为国际信息网值。此更改消除了代码生成中不必要的复杂性,提高了不断折叠,为64位支持奠定了基础。

改进了涉及文字值的错误报告。我们现在在描述错误中的值时使用原始源文本消息。当实际文本为太大,无法表示(而不是让代码生成器失败)。

修复了编译器未处理语言语法的一些错误如定义中所述。有关详细信息,请参阅错误修复列表。

漏洞:

以下是此版本修复(或关闭)的跟踪错误列表,请参阅错误追踪系统了解更多详细信息。

191处理大型real时编译器崩溃
194Real.fromString溢出或挂起
201缺少AMD64.cm库
206显式类型变量和val-rec的解析已中断

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

支持的系统:

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

建筑 操作系统 状态
电源PC Mac OS X 10.5(Leopard)
AIX(AIX)
   
斯巴达克 Solaris公司
Linux操作系统
   
x86(x86) Mac OS X 10.6(雪豹)
Mac OS X 10.7(狮子)
Mac OS X 10.8(山狮)
Mac OS X 10.9(小牛队)
Mac OS X 10.10(约塞米蒂)
Mac OS X 10.11(El Capitan)
macOS 10.12(塞拉利昂) 已测试
macOS 10.13(高塞拉) 已测试
Ubuntu 16.04.3 LTS版本 已测试
其他Linux变体
BSD变体
Windows 7
Windows 10 已测试
Cygwin(在Windows 7或10上托管)