testsuite: don't collect compiler stats in collect_runtime_residency
[ghc.git] / testsuite / tests / pmcheck / complete_sigs / completesig12.hs
1 {-# LANGUAGE GADTs, PatternSynonyms #-}
2 {-# OPTIONS_GHC -Wall #-}
3 module Completesig11 where
4 data G a where
5 G1' :: G Int
6 G2' :: G Bool
7
8 pattern G1 :: () => (a ~ Int) => G a
9 pattern G1 = G1'
10
11 pattern G2 :: () => (a ~ Bool) => G a
12 pattern G2 = G2'
13
14 {-# COMPLETE G1, G2 #-}
15
16 fa :: G a -> Int -- exhaustive function
17 fa G1 = 1
18 fa G2 = 2
19
20 fb :: G Int -> Int -- exhaustive function
21 fb G1 = 1
22 -- fb G2 = 2 -- inaccessible clause