Compile with `-XMonadFailDesugaring`

taktoa / eqsat

A language-generic implementation of equality saturation in Haskell

Other

21 stars 3 forks source link

Closed taktoa closed 6 years ago

taktoa commented 6 years ago

The MonadFailDesugaring extension allows us to catch any problems induced by the upcoming MonadFailProposal.