search

plclub / hs-to-coq

Convert Haskell source code to Coq source code.
https://hs-to-coq.readthedocs.io
MIT License
77 stars 8 forks source link

Type inference issue with `Arrow` type class #63

Open lastland opened 3 years ago

lastland commented 3 years ago

Issue by sweirich Thursday Dec 07, 2017 at 12:24 GMT Originally opened as https://github.com/antalsz/hs-to-coq/issues/63

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.

lastland commented 3 years ago

The example is now at: https://github.com/plclub/hs-to-coq/blob/2c1d2a7dd3b3924fdc56f8c08765857735f30a99/examples/base-tests/Arrow.hs