Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / pmcheck / complete_sigs / completesig06.hs
1 {-# OPTIONS_GHC -Wall #-}
2 module Completesig06 where
3
4 -- Some non-exhaustive examples
5
6 data T = A | B | C
7 data S = D | E | F
8
9 {-# COMPLETE A, B #-}
10 {-# COMPLETE D #-}
11
12 m1 :: T -> ()
13 m1 A = ()
14
15 m2 :: T -> ()
16 m2 B = ()
17 m2 C = ()
18
19 m3 :: T -> ()
20 m3 C = ()
21
22 m4 :: T -> S -> ()
23 m4 A E = ()
24 m4 A F = ()
25 m4 B F = ()
26 m4 B E = ()
27
28 m5 :: T -> S -> ()
29 m5 C D = ()