testsuite/tests/pmcheck/should_compile/T15584.hs


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

{-# LANGUAGE EmptyCase #-}
{-# OPTIONS -Wincomplete-patterns #-}
module T15584 where

import Data.Void

data V = MkV !Void
data    S1 = MkS1 !V
newtype S2 = MkS2 V

s1 :: S1 -> a
s1 x = case x of {}

s2 :: S2 -> a
s2 x = case x of {}