Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / testsuite / tests / pmcheck / should_compile / pmc005.hs
1 {-# OPTIONS_GHC -fwarn-incomplete-patterns -fwarn-overlapping-patterns #-}
2 {-# LANGUAGE GADTs #-}
3
4 module PMC005 where
5
6 data T a where
7 TList :: T [a]
8 TBool :: T Bool
9
10 foo :: T c -> T c -> ()
11 foo TList _ = ()
12 foo _ TList = ()