search

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

Can't rename type class members #43

Closed sweirich closed 6 years ago

sweirich commented 7 years ago

Data.Semigroup defines includes (<>) as a class member which conflicts with Coq's notation for not equals. I'd like to rename it to something else, but 'rename' edits don't work for class members.

nomeata commented 6 years ago

Should be fixed now; @lastland is experimenting with it.

lastland commented 6 years ago

I confirm that it has been fixed.