最近，我开始出现奇怪的错误/警告，并且不知道该如何处理它们，我当然也不知道我为获得它们做了什么。
当我尝试做
搜索（_-> _）
我收到奇怪的未记录错误：错误：头部搜索模式中没有头部常量。 或者当我尝试做
搜索（Zeq_bool _ _ = true）。
我收到另一个未记录的警告：警告：仅列出结论匹配的引理。 但是当我这样做
搜索（Zeq_bool _ _） 在此错误/警告开始弹出之前，我正在进行全面搜索。
我的设置是：
Arch 5.0.13 x64
emacs 26.2
proof-general-20190419.940（这是emacs.d中带有通用证明的文件夹的名称）
Coq 8.9.0