我尝试过类型检查从Builtin或标准库导入模块的模块程序，它总是把我带到我正在导入的特定库中的某个模块，并说它有一个解析错误评论。当它在标准库中的文件上执行此操作时，我只是删除注释，但它不允许我编辑Builtin中的文件。我正在使用Emacs 25.1和Agda 2.4.2。我该怎么办？具体来说，我正在导入Agda.Builtin.Float并且它在
{-# COMPILED_DATA_UHC Bool_BOOL_ _FALSE_ _TRUE_ #-}
Agda.Builtin.Bool 中的