Final phase of MonadFail proposal
- Removes now-redundant
-Wmissing-monadfail-instances
and-Wnoncanonical-monadfail-instances
warnings - Fixes expected testsuite output
- Removes the
RebindableSyntax
andMonadFailDesugaring
clash warning; the motivation for this warning is quite unclear and the flag which was previously used to silence it (-Wno-missing-monadfail-instances
) is now gone. - Removes a few tests that are no longer relevant
Todo
-
Throw error on -XNoMonadFailDesugaring
-
Consider what should happen with -Wmissing-monadfail-instances
-
Consider what should happen with -Wnoncanonical-monadfail-instances
-
Add tests to ensure that overriding fail
withRebindableSyntax
works as expected