blob: 7dffa2d39a9e5ca1489ee0ffc80e0040f5f507eb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
{-# OPTIONS_GHC -Wincomplete-patterns -Wno-missing-methods -fforce-recomp #-}
{-# LANGUAGE GADTs, TypeFamilies, PatternSynonyms #-}
module Lib where
data family T a
data instance T () where
A :: T ()
B :: T ()
pattern C :: T ()
pattern C = B
{-# COMPLETE A, C #-}
g :: T () -> ()
g A = ()
g C = ()
h :: T () -> ()
h C = ()
h A = ()
|