blob: 05afb4413501591387f3991da23e4aab2d1cd180 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# OPTIONS_GHC -Wincomplete-patterns -fforce-recomp #-}
{-# LANGUAGE PatternSynonyms #-}
module Lib where
data B = T | F
pattern P :: B
pattern P = T
{-# COMPLETE P, F #-}
f :: B -> ()
f P = ()
pattern Q :: B
pattern Q = T
{-# COMPLETE T, Q #-}
g :: B -> ()
g Q = ()
|