packages feed

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)