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

Redefine does not work on default type class methods #142

Open lastland opened 4 years ago

lastland commented 4 years ago

To fix this, one needs to change the following part: https://github.com/antalsz/hs-to-coq/blob/0561cb4f31ef77440bd4b71f68b9983af1aac984/src/lib/HsToCoq/ConvertHaskell/Declarations/Instances.hs#L292-L302 to make it recognize edits.