This repository has been archived by the owner on Nov 30, 2024. It is now read-only.
Refactor (rename) type name changes data constructor name, too #683
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
If I have a type Number = Number Int, Shift-F6 (refactor-rename) the type name changes the Data constructor name, too.
Maybe this is intentional; for me, it's - unexpected.
The text was updated successfully, but these errors were encountered: