testsuite/tests/pmcheck/should_compile/T23145.hs


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

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE RankNTypes #-}
{-# OPTIONS_GHC -Wincomplete-patterns #-}
module T23145 where

data T a
  = MkT1 a
  | MkT2

f :: (forall a. T a) -> T b
f (MkT1 x) = MkT1 x
f MkT2 = MkT2