在 Haskell 中，如果绑定“隐藏现有绑定”，这意味着什么？

Question

当我编译时，我收到来自 GHC 的警告：

警告：“pats”的此绑定隐藏了“match_ignore_ancs”定义中的现有绑定

这是函数：

match_ignore_ancs (TextPat _ c) (Text t) = c t
match_ignore_ancs (TextPat _ _) (Element _ _ _) = False
match_ignore_ancs (ElemPat _ _ _) (Text t) = False
match_ignore_ancs (ElemPat _ c pats) (Element t avs xs) =
   c t avs && match_pats pats xs

知道这意味着什么以及如何修复它吗？

干杯。

Answer 1

这意味着您在程序中的其他位置定义了一个符号 pats 或从某个库模块导入，并且它在与 match_ignore_ancs 相同的范围内可见，因此当您命名一个参数pats，它隐藏（即“阴影”）现有符号。

只需将 pats 参数重命名为不会发生冲突的名称即可。