testsuite/tests/th/T7681.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE EmptyCase, TemplateHaskell, LambdaCase #-}

module T7681 where

data Void

foo :: Void -> a
foo x = $( [| case x of {} |] )

bar :: Void -> a
bar = $( [| \case {} |] )