Skip to content

floskell crashes on type applications in rules #43

@harendra-kumar

Description

@harendra-kumar

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

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions