Major Overhaul of Pattern Match Checking (Fixes #595)
[ghc.git] / testsuite / tests / pmcheck / should_compile / pmc004.hs
1 {-# OPTIONS_GHC -fwarn-incomplete-patterns -fwarn-overlapping-patterns #-}
2 {-# LANGUAGE GADTs #-}
3
4 module PMC004 where
5
6 data F a where
7 F1 :: F Int
8 F2 :: F Bool
9
10 data G a where
11 G1 :: G Int
12 G2 :: G Char
13
14 h :: F a -> G a -> ()
15 h F1 G1 = ()
16 h _ G1 = ()