testsuite/tests/monadfail/MonadFailWarningsWithRebindableSyntax.hs

   1 -- Test purpose:
   2 -- RebindableSyntax does not play that well with MonadFail, so here we ensure
   3 -- that when both settings are enabled we get the proper warning.
   4
   5 {-# OPTIONS_GHC -Wmissing-monadfail-instances #-}
   6 {-# LANGUAGE RebindableSyntax #-}
   7
   8 module MonadFailWarningsWithRebindableSyntax where
   9
  10 import Prelude
  11
  12 test1 f g = do
  13     Just x <- f
  14     g