Pattern synonyms

[lastland]

Issue by Lysxia
Friday Aug 28, 2020 at 23:49 GMT
Originally opened as antalsz/hs-to-coq#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]

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.