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

Cannot process modules named "Type" #58

Closed sweirich closed 6 years ago

sweirich commented 6 years ago

see examples/tests/TypeClient.hs

nomeata commented 6 years ago

JFTR, it works if the module is named Foo.Type or Top.Type. It really is just Type on its own that causes problems.

nomeata commented 6 years ago

@sweirich does your rename module feature fix that?

sweirich commented 6 years ago

Yes, ideally.

On Apr 3, 2018, at 9:33 AM, Joachim Breitner notifications@github.com wrote:

@sweirich https://github.com/sweirich does your rename module feature fix that?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/antalsz/hs-to-coq/issues/58#issuecomment-378251282, or mute the thread https://github.com/notifications/unsubscribe-auth/ACAZdvMvyJk3XXyapCTkeuQyvtfSeu7Fks5tk3oSgaJpZM4Q5dYN.

nomeata commented 6 years ago

Ah, I see you have a test case. Great; it works as expected.