packages feed

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

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

module EmptyCaseImplicitEof where

data Void

absurdAfterAlt :: Bool -> Void -> a
absurdAfterAlt b v = case b of True -> case v of