testsuite/tests/pmcheck/should_compile/T6124.hs


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

{-# LANGUAGE GADTs #-}
{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

module T6124 where

newtype A = MkA Int
newtype B = MkB Char

data T a where
    A :: T A
    B :: T B

f :: T A -> A
f A = undefined