testsuite/tests/pmcheck/complete_sigs/completesig11.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# OPTIONS_GHC -Wall #-}
{-# LANGUAGE PatternSynonyms #-}
module Completesig11 where

data T = A | B | C
{-# COMPLETE A,B #-}
{-# COMPLETE A,C #-}

pattern BS :: T
pattern BS = B
{-# COMPLETE A,BS #-}

m1  :: T -> ()
m1 A = ()