Haskell运行报错parse error on input `showMapping'`原因排查

这个解析错误完全是由where子句的缩进不匹配导致的，Haskell是缩进敏感的语言，where子句下的所有变量/函数绑定需要满足两个规则：

• 所有绑定的起始字符的缩进深度完全一致
• 缩进深度必须大于where关键字的所在位置

你给出的代码中，where后的第一个showMapping'绑定的缩进深度，比后续两个showMapping'绑定的缩进深度多2个空格，编译器无法识别后续两个绑定属于where子句的范畴，因此抛出输入解析错误。

另外你代码还存在一个隐藏的逻辑错误：最后一行递归调用时写的是showMapping rest，应该改为showMapping' rest，否则会触发无限递归，在缩进问题修复后会暴露该问题。

showMapping :: (Show a, Show b) => Map a b -> String
showMapping m = "{ " ++ showMapping' m ++ " }"
  where 
    showMapping' MapSentinel = ""
    showMapping' (MapElem a b MapSentinel) =
              concat [show a, " -> ", show b]
    showMapping' (MapElem a b rest) =
              concat [show a, " -> ", show b,
                      ", ", showMapping' rest]

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