Skip to content

Final phase of MonadFail proposal

Ben Gamari requested to merge wip/final-mfp into master
  • Removes now-redundant -Wmissing-monadfail-instances and -Wnoncanonical-monadfail-instances warnings
  • Fixes expected testsuite output
  • Removes the RebindableSyntax and MonadFailDesugaring 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 with RebindableSyntax works as expected
Edited by Ben Gamari

Merge request reports