testsuite/tests/pmcheck/should_compile/pmc005.hs


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

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

module PMC005 where

data T a where
  TList :: T [a]
  TBool :: T Bool

foo :: T c -> T c -> ()
foo TList _     = ()
foo _     TList = ()