testsuite/tests/patsyn/should_fail/T10873.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PatternSynonyms, GADTs #-}

module T10873 where

pattern Pat1 :: () => Show a => a -> Maybe a
pattern Pat1 x <- Just x

data T a where MkT :: (Ord a) => a -> T a
pattern Pat2 :: (Enum a) => Show a => a -> T a
pattern Pat2 x <- MkT x