递归让插件 使用GHC插件实施类似于的实验。 它仅适用于GHC 8.10,因为这些天GHC模块似乎已被重命名,而且我不想为CPP所困扰。 欢迎公关。 这是在一天的过程中实施的,未经测试。 它似乎适用于简单的情况。 例子 {-# OPTIONS_GHC -fplugin=RecursiveLetPlugin #-} module P1 where foo :: Int foo = let even x = if x == 0 then True else odd (x - 1 ) odd x = even (x - 1 ) in 0 输出: examples/P1.hs:7:7: warning: Recursive definition at examples/P1.hs:7:7 Through: odd | 7 | let eve