Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / pmcheck / complete_sigs / completesig08.hs
1 {-# OPTIONS_GHC -Wall #-}
2 module Completesig08 where
3
4 -- Some redundant 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 m1 B = ()
15 m1 C = ()
16
17 m2 :: T -> S -> ()
18 m2 A D = ()
19 m2 B D = ()
20 m2 C D = ()
21
22 m3 :: T -> S -> ()
23 m3 A D = ()
24 m3 B D = ()
25 m3 A E = ()
26 m3 A F = ()
27
28 m4 :: S -> ()
29 m4 D = ()
30 m4 E = ()