Windows 10 PowerShell中SMLNJ运行文件及use命令失败问题求助

我之前也碰到过类似的情况，结合你的描述来看，问题大概率出在PowerShell环境下SMLNJ对文件路径的解析或者权限处理上——毕竟Emacs的SML包做了专门的环境适配，能绕过这些坑。下面是几个亲测有效的解决方法：

1. 用绝对路径替代相对路径 #

哪怕OS.FileSys.getDir()显示当前目录正确，PowerShell的相对路径解析逻辑和SMLNJ的预期也可能存在差异。你可以试试把文件的绝对路径传给use命令，注意路径里的反斜杠要转成双反斜杠，或者直接用正斜杠：

# 双反斜杠写法
use "C:\\Users\\YourName\\Documents\\first.sml";
# 正斜杠写法（更省心）
use "C:/Users/YourName/Documents/first.sml";

命令行启动时也用绝对路径：

sml "C:/Users/YourName/Documents/first.sml"

2. 检查文件和目录的权限 #

报错里的access: cannot get file attributes说明SMLNJ没有读取文件属性的权限。你可以右键点击文件所在文件夹，选择「属性」→「安全」，确认当前用户拥有「读取和执行」「列出文件夹内容」「读取」权限。如果文件放在C:\Program Files这类系统保护目录，建议移到用户目录（比如Documents或桌面），这类目录的权限限制更宽松。

3. 避开文件名/路径里的特殊字符 #

如果你的文件路径包含空格、中文、特殊符号（比如!@#$），很可能导致SMLNJ解析失败。哪怕文件名是first.sml，也要确认它所在的路径没有空格（比如别放在My Documents这种带空格的目录），换成纯英文无空格的路径试试。

4. 以管理员身份运行PowerShell #

普通权限的PowerShell有时会限制程序访问某些文件，右键点击PowerShell选择「以管理员身份运行」，再尝试加载文件，说不定能解决权限问题。

5. 重新检查SMLNJ的安装配置 #

虽然你用的是最新版本，但可以确认下安装路径是否正确，安装时有没有勾选「添加到系统PATH」。如果问题依旧，试着重新安装SMLNJ，选择默认的安装路径（比如C:\smlnj），避免自定义路径里的特殊字符干扰。

内容的提问来源于stack exchange，提问作者DaveAZ