search

plclub / hs-to-coq

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

Pattern synonyms #164

Open lastland opened 4 years ago

lastland commented 4 years ago

Issue by Lysxia Friday Aug 28, 2020 at 23:49 GMT Originally opened as https://github.com/antalsz/hs-to-coq/issues/164

Is there an edit to skip pattern declarations? hs-to-coq just chokes on them:

non-function top level bindings: pattern Em = () unsupported [in module A]

Context: there are some of those in containers, Data.Sequence.Internal.

lastland commented 4 years ago

Comment by lastland Saturday Aug 29, 2020 at 02:57 GMT

Unless I'm missing something, I don't think there is such an edit and I'm not sure how difficult it would be to add such an edit.