aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/EmptyCase/empty-case-let.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE EmptyCase #-}

module EmptyCaseLet where

data Zero

eliminate :: Zero -> Bool
eliminate x =
  let impossible y = case y of {}
   in impossible x