This repository has been archived by the owner on Nov 17, 2020. It is now read-only.

Pattern synonyms #164

Open

Lysxia opened this issue Aug 28, 2020 · 1 comment

Contributor

Lysxia commented Aug 28, 2020 •

edited

Loading

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.

The text was updated successfully, but these errors were encountered:

Collaborator

lastland commented Aug 29, 2020

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.

Lysxia mentioned this issue

Skip pattern synonyms + Warn about skipped definitions #168

Merged

lastland mentioned this issue

Pattern synonyms plclub/hs-to-coq#164

Open

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.