Custom class info - 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

Custom class info #108

Open antalsz opened 6 years ago

antalsz commented 6 years ago

Right now, if we define a class C manually, we can never translate instances of C because the class info lookup fails. We need a way to provide the h2ci info for custom classes.