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

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

module PatternSynonymsBidirectionalPrefix where

data T = T Int

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

mk :: Int -> T
mk x = P x