summaryrefslogtreecommitdiff
path: root/testsuite/tests/deSugar/should_run/dsrun010.hs
diff options
context:
space:
mode:
authorDavid Terei <davidterei@gmail.com>2011-07-20 11:09:03 -0700
committerDavid Terei <davidterei@gmail.com>2011-07-20 11:26:35 -0700
commit16514f272fb42af6e9c7674a9bd6c9dce369231f (patch)
treee4f332b45fe65e2a7a2451be5674f887b42bf199 /testsuite/tests/deSugar/should_run/dsrun010.hs
parentebd422aed41048476aa61dd4c520d43becd78682 (diff)
downloadhaskell-16514f272fb42af6e9c7674a9bd6c9dce369231f.tar.gz
Move tests from tests/ghc-regress/* to just tests/*
Diffstat (limited to 'testsuite/tests/deSugar/should_run/dsrun010.hs')
-rw-r--r--testsuite/tests/deSugar/should_run/dsrun010.hs22
1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/tests/deSugar/should_run/dsrun010.hs b/testsuite/tests/deSugar/should_run/dsrun010.hs
new file mode 100644
index 0000000000..99a9297f8b
--- /dev/null
+++ b/testsuite/tests/deSugar/should_run/dsrun010.hs
@@ -0,0 +1,22 @@
+-- Check that pattern match failure in do-notation
+-- is reflected by calling the monadic 'fail', not by a
+-- runtime exception
+
+import Control.Monad
+import Data.Maybe
+
+test :: (MonadPlus m) => [a] -> m Bool
+test xs
+ = do
+ (_:_) <- return xs
+ -- Should fail here
+ return True
+ `mplus`
+ -- Failure in LH arg should trigger RH arg
+ do
+ return False
+
+main :: IO ()
+main
+ = do let x = fromJust (test [])
+ putStrLn (show x)