Refine test case for #9938
[ghc.git] / testsuite / tests / driver / T9938B.hs
1 module Main where
2
3 import Control.Monad
4 import Control.Monad.Trans.State
5
6 solve :: Int -> StateT () [] ()
7 solve 0 = mzero
8 solve carry | carry > 0 =
9 do guard (0 == carry)
10 solve (carry -1)
11
12 main :: IO ()
13 main = return ()