aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/PatternSynonyms/pattern-synonyms-unidirectional-prefix.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE PatternSynonyms #-}

module PatternSynonymsUnidirectionalPrefix where

data T = T Int

pattern P :: Int -> T
pattern P x <- T x

isP :: T -> Bool
isP (P _) = True
isP _ = False