windows上的Agda:`→；`不在范围之内

我正在尝试在Windows计算机上运行的第1章

这是一个新安装的Agda 2.5.2和Emacs 25.1.1从教科书和未触及的Agda代码

我得到了这个错误：

Not in scope:
  → at C:\bb\plfa.github.io\src\plfa\Naturals.lagda:51,14-17
when scope checking →

当我在命令行上运行

agda

时，我会收到类似的错误消息，这次是

→正确渲染的字符：

Checking plfa.Naturals (C:\bb\plfa.github.io\src\plfa\Naturals.lagda).
C:\bb\plfa.github.io\src\plfa\Naturals.lagda:51,14-17
Not in scope:
  → at C:\bb\plfa.github.io\src\plfa\Naturals.lagda:51,14-17
when scope checking →

Agda抱怨的行是此代码块中的最后一行：

data ℕ : Set where
  zero : ℕ
  suc  : ℕ → ℕ
\end{code}

同样的代码在Ubuntu上运行良好

我确认字符是正确的：如果我删除它并键入
\to
您在编译其他与PLFA无关的文件时有类似问题吗？这听起来更像是Agda问题，而不是PLFA问题。如果不是，我建议尝试Agda 2.5.4.2，这是PLFA当前的最低版本（请参见）
您是否尝试过使用Agda 2.5.4.2？