Cannot generate instance for -> in Control.Category

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

Closed sweirich closed 7 years ago

sweirich commented 7 years ago

If we switch from HANDMOD to MODULES for Control.Category, the translation succeeds but we miss an instance

(* Translating `instance Category GHC.Prim.arrow' failed: OOPS! Cannot find
   information for class "Category" unsupported *)

The Category class is defined in the same file so the class information should be available.

sweirich commented 7 years ago

Is this related to the recent change you have made to type classes?

nomeata commented 7 years ago

No, my change should be completely independent of the type class information handling

nomeata commented 7 years ago

Ah, but it might be related to class kinds – if I remove that edit it knows about the class.

nomeata commented 7 years ago

Found and fixed, thanks for the report.