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

Type inference issue with `Arrow` type class #63

Open sweirich opened 6 years ago

sweirich commented 6 years ago

see examples/tests/Arrow.hs

Shows up in CallArity.hs. Workaround is to use a let to name the argument of Arrow.first instead of providing a lambda expression.