testsuite/tests/patsyn/should_compile/T8968-3.hs


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)