testsuite/tests/pmcheck/should_compile/T22964.hs


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

{-# LANGUAGE TypeData #-}
module X where

type data T1 a where
  A1 :: T1 Int
  B1 :: T1 a

f1 :: T1 a -> ()
f1 x = case x of {}

type data T2 a where
  A2 :: T2 Int

f2 :: T2 a -> ()
f2 x = case x of {}