packages feed

aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DoAndIfThenElse/do-and-if-then-else-nested-if.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE DoAndIfThenElse #-}

-- Test case: nested if-then-else inside 'then do' and 'else do'.
-- Multiple levels of nesting should work correctly.
module DoAndIfThenElseNestedIf where

nestedIf :: Bool -> Bool -> IO ()
nestedIf a b = do
  if a
    then do
    if b
      then do
      putStrLn "a and b"
      else do
      putStrLn "a and not b"
    else do
    putStrLn "not a"