blob: adbae71a4f36718980c31b9b393586c1b0e7f207 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE GADTs, KindSignatures, PatternSynonyms #-}
module ShouldCompile where
data T a b where
MkT :: a -> T a Bool
pattern P :: T Bool b
pattern P <- MkT True
pattern D :: a -> T (Maybe a) Bool
pattern D x = MkT (Just x)
|