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

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

module PatternSynonymsRecordUnidirectional where

data Point = MkPoint Int Int

pattern PointU :: Int -> Int -> Point
pattern PointU {xOnly, yOnly} <- MkPoint xOnly yOnly

xValue :: Point -> Int
xValue PointU {xOnly} = xOnly