`rename value` does not respect `rename module`
Opened this issue · 0 comments
lastland commented
An example can be found in: https://github.com/antalsz/hs-to-coq/blob/set-properties/examples/containers/module-edits/SetProperties/edits#L1-L5
The module has been renamed to SetProperties, but I have to use Main instead to be able to rename the constructors. However, note that in the meantime, rename module seems to function perfectly with other edits: https://github.com/antalsz/hs-to-coq/blob/set-properties/examples/containers/module-edits/SetProperties/edits#L23-L55