This is a fix for #156. In the current version of hs-to-coq, when we translate signatures, local edits are not taken into consideration. Thus, trying to use an in edit to perform a renaming in a definition does not perform the renaming in the signature of the definition. The work in this branch fixes this behavior.
This is a fix for #156. In the current version of
hs-to-coq, when we translate signatures, local edits are not taken into consideration. Thus, trying to use aninedit to perform a renaming in a definition does not perform the renaming in the signature of the definition. The work in this branch fixes this behavior.