ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
63 stars 15 forks source link

Avoid a failable pattern match in Ersatz.BitChar #38

Closed RyanGlScott closed 6 years ago

RyanGlScott commented 6 years ago

ersatz fails to build on GHC 8.6 because it enables MonadFailDesugaring by default, and there is no MonadFail constraint to support a failable pattern match on a list in Ersatz.BitChar. But this pattern match is a bit silly anyways, since we know statically that this list is always non-empty, so we can avoid this pattern match entirely.

Addresses one bullet point of ekmett/lens#815.