Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / testsuite / tests / pmcheck / should_compile / T3927.hs
1 {-# LANGUAGE GADTs #-}
2 {-# OPTIONS_GHC -fwarn-incomplete-patterns -fwarn-overlapping-patterns #-}
3
4 module T3927 where
5
6 data T a where
7 T1 :: T Int
8 T2 :: T Bool
9
10 -- f1 is exhaustive
11 f1 :: T a -> T a -> Bool
12 f1 T1 T1 = True
13 f1 T2 T2 = False