`rename value` does not respect `rename module` - Githubissues

antalsz / hs-to-coq

Convert Haskell source code to Coq source code

https://hs-to-coq.readthedocs.io

MIT License

279 stars 27 forks source link

`rename value` does not respect `rename module` #137

Open lastland opened 5 years ago

lastland commented 5 years ago

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