aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/EmptyCase/empty-case-basic.hs
{- ORACLE_TEST pass -}
{-# LANGUAGE EmptyCase #-}
module EmptyCaseBasic where
data Void
absurd :: Void -> a
absurd v = case v of {}{- ORACLE_TEST pass -}
{-# LANGUAGE EmptyCase #-}
module EmptyCaseBasic where
data Void
absurd :: Void -> a
absurd v = case v of {}