aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DoAndIfThenElse/do-and-if-then-else-following-stmt.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE DoAndIfThenElse #-}
module DoAndIfThenElseFollowingStmt where
pipeline :: Bool -> Maybe Int
pipeline cond = do
x <- if cond
then pure 10
else pure 20
pure (x + 1)