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

Scoped type variables in instances #42

Open sweirich opened 7 years ago

sweirich commented 7 years ago

If type class instances use scoped type variables, they will fail.

There is an explicit comment in the function HsToCoq.ConvertHaskell.Declarations.Instances.topoSortInstance:

-- ASSUMPTION: type variables don't show up in terms. Broken -- by ScopedTypeVariables.