Closed MangoIV closed 10 months ago
In definitions like the following:
data instance (f * g) a where
, when applying any hint, it just removes the parens around f * g which makes apply-refact unusable for modules that have such a definition.
f * g
apply-refact
CC @zliu41
This must be an apply-refact bug since it occurs on any hint. Moving to https://github.com/mpickering/apply-refact/issues/146.
In definitions like the following:
, when applying any hint, it just removes the parens around
f * g
which makesapply-refact
unusable for modules that have such a definition.