floskell
floskell copied to clipboard
floskell crashes on type applications in rules
Not sure what's the fate of floskell with haskell-src-exts being unmaintained, still raising this issue.
It cannot parse this:
{-# RULES "zipWithM xs xs"
forall f xs. zipWithM @Identity f xs xs = mapM (\x -> f x x) xs #-}
Fails with this error:
floskell: src/Streamly/Internal/Data/Stream/StreamD.hs:4059:69: Parse error in expression: zipWithM@Identity
CallStack (from HasCallStack):
error, called at src/main/Main.hs:161:12 in main:Main