e3172749934919a9148d3fc6d4350c835bdcee52
[ghc.git] / testsuite / tests / patsyn / should_compile / ex-view.hs
1 -- Pattern synonyms
2
3 {-# LANGUAGE PatternSynonyms, GADTs, ViewPatterns #-}
4 module ShouldCompile where
5
6 data T a where
7 MkT :: (Eq b) => a -> b -> T a
8
9 f :: (Show a) => a -> Bool
10 f = undefined
11
12 pattern P x <- MkT (f -> True) x