packages feed

aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/LambdaCase/lambda-case-nested.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE LambdaCase #-}

module LambdaCaseNested where

choose :: Either Int String -> Int
choose = \case
  Left n -> n
  Right _ ->
    (\case
        Just k -> k
        Nothing -> 0
    )
      (Just 1)