ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/LinearEmptyCase.hs

{-# LANGUAGE EmptyCase, LinearTypes #-}

module LinearEmptyCase where

data Void

f :: a %1 -> Void -> b
f x y = case y of {}