testsuite/tests/patsyn/should_compile/ex-prov.hs


1
2
3
4
5
6
7
8
9
10
11
12

-- Pattern synonyms

{-# LANGUAGE PatternSynonyms, GADTs #-}
module ShouldCompile where

data T a where
	MkT :: (Eq b) => a -> b -> T a

pattern P x y <- MkT x y

f :: T Bool -> Bool
f (P x y) = x && y == y