我还验证了这个问题在110.99.3中的Linux上不是问题。

根据原始提交者的电子邮件，问题实际上在于跨导出ML。如果在以下情况下将信号设置为在环境中忽略导出ML调用时，该行为将在程序重新启动时保留。我们需要弄清楚信号语义的精确描述（以及它如何与导出ML和导出Fn)并纠正实施。

通过将信号处理程序状态的设置延迟到堆映像加载后，修复了此问题。此更改意味着在创建图像时忽略的信号不会被忽略，但在运行图像时不会被忽略。

我是这个错误报告的原始提交者。为了便于以后参考，这里是邮件列表线程的摘录，我在其中提供了有关此错误的其他信息：

SML/NJ版本：v110.99.2
操作系统：Ubuntu 20.04（Linux 5.13.0）

如果我运行无限循环而true do（）；，我无法阻止它
按下CTRL-C。根据/proc/{pid}/status，SML/NJ被忽略
信号：

SigPnd：SigBlk公司：信号：INT（2）QUIT（3）信号Cgt:FPE（8）SEGV（11）终端（15）

我做了一些测试，发现只有当SML/NJ
在SIGINT被忽略的相对不寻常的环境中构建
（我碰巧通过GNU Guix安装了smlnj）。我能够做到
通过安装，在Ubuntu 20.04中可靠地重现问题
SML/NJ 110.99.2使用以下步骤：

$wget（美元）http://smlnj.cs.uchicago.edu/dist/working/10.99.2/config.tgz'$tar xvf配置.tgz$trap“”情报$config/install.sh-默认值64

生成的sml可执行文件将忽略SIGINT。

你还在110.99.3中遇到问题吗？